On the semantics of logic programs

Authors:
Maurizio Gabbrielli;Giorgio Levi
Affiliations:
-;-
Venue:
Proceedings of the 18th international colloquium on Automata, languages and programming
Year:
1991

A general framework for semantics-based bottom-up abstract interpretation of logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Differential logic programming

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proofs you can believe in: proving equivalences between Prolog semantics in Coq

Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming

Hi-index	0.00