@inproceedings{afae065a3e584fb383860475ccc96cae,

title = "Efficient dataflow analysis of logic programs",

abstract = "We investigate a framework for efficient flow analyses of logic programs. A major problem in this context is that unification can give rise to aliasing and dependencies between variables whose effects are difficult to predict, and which make sound flow analysis algorithms computationally expensive. We give a simple characterization of the class of flow analysis problems for which aliasing effects can be ignored without loss of soundness, and describe an efficient analysis procedure for this class of problems. The utility of our approach is illustrated by discussing its application to several analysis and optimization problems for logic programs. Our results are useful in the design of efficient flow analysis systems for logic programming languages.",

author = "Debray, {Saumya K.}",

note = "Publisher Copyright: {\textcopyright} 1988 ACM.; 15th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1988 ; Conference date: 10-01-1988 Through 13-01-1988",

year = "1988",

month = jan,

day = "13",

doi = "10.1145/73560.73583",

language = "English (US)",

series = "Conference Record of the Annual ACM Symposium on Principles of Programming Languages",

publisher = "Association for Computing Machinery",

pages = "260--273",

booktitle = "Proceedings of the 15th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1988",

}