Using safe approximations of fixed points for analysis of logic programs

• Authors:

• J. Gallagher;Michael Codish;E. Y. Shapiro

• Affiliations:

• -;-;-

• Venue:
• Meta-programming in logic programming
• Year:
• 1989