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

Groundness Analysis

Boolean Functions

Global Analysis

Program Analysis

Sharing Analysis

Science & Technology

Computer Science

Computer Science, Software Engineering

Abstract Interpretation

Dataflow Analysis