Towards a Framework for the Abstract Interpretation of Logic Programs

Ulf Nilsson. Towards a Framework for the Abstract Interpretation of Logic Programs. In Pierre Deransart, Bernard Lorho, Jan Maluszynski, editors, Programming Language Implementation and Logic Programming, 1st International Workshop PLILP 88, Orléans, France, May 16-18, 1988, Proceedings. Volume 348 of Lecture Notes in Computer Science, pages 68-82, Springer, 1988.

Abstract

Abstract is missing.