 |
Compositional Analysis of Modular Logic Programs
Michael Codish, Saumya Debray and Roberto Giacobazzi
Proceedings of the Twentieth ACM symposium
on Principles of Programming Languages;
1993
Abstract:
Available: bibtex entry
Michael Codish
The Department of Computer Science
Ben-Gurion University of the Negev
PoB 653, Beer-Sheva, 84105, Israel
mcodish@cs.bgu.ac.il