Journal article

Sharing and groundness dependencies in logic programs

M Codish, H Sondergaard, PJ Stuckey

ACM Transactions on Programming Languages and Systems | ASSOC COMPUTING MACHINERY | Published : 1999

DOI: 10.1145/330249.330252

University of Melbourne Researchers

Harald Sondergaard Author Computing and Information Systems

Peter Stuckey Author Computing and Information Systems

Citation metrics

21Web of Science

Keywords

Program Analysis

Groundness Analysis

Computer Science

Boolean Functions

Abstract Interpretation

Sharing Analysis

Global Analysis

Dataflow Analysis

Science & Technology

Computer Science, Software Engineering