Compositional Analysis of Modular Logic Programs (1993)

by Michael Codish , Saumya Debray , Roberto Giacobazzi
Venue:In Proc. Twentieth Annual ACM Symp. on Principles of Programming Languages
Citations:55 - 10 self