Goal independency and call patterns in the analysis of logic programs

• 1 January 1994
• proceedings article
• Published by Association for Computing Machinery (ACM)
• p. 394-399
• https://doi.org/10.1145/326619.326789

Abstract

Keywords

• ABSTRACT INTERPRETATION
• LOGIC PROGRAMS
• PROCEDURE CALLS