Journal article

Sharing and groundness dependencies in logic programs

M Codish, H Sondergaard, PJ Stuckey

ACM Transactions on Programming Languages and Systems (TOPLAS) | 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

Computer Science, Software Engineering

Computer Science

Sharing Analysis

Boolean Functions

Abstract Interpretation

Dataflow Analysis

Program Analysis

Global Analysis

Groundness Analysis

Science & Technology