Unfolding, procedural and fixpoint semantics of logic programs

Authors:
François Denis;Jean-Paul Delahaye
Affiliations:
-;-
Venue:
STACS 91 Proceedings of the 8th annual symposium on Theoretical aspects of computer science
Year:
1991

Citing 0
Cited 4

Differential logic programming

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
S-semantics for logic programming: A retrospective look

Theoretical Computer Science
Abstract interpretation of resolution-based semantics

Theoretical Computer Science
Modular class analysis with DATALOG

SAS'03 Proceedings of the 10th international conference on Static analysis

Quantified Score

Hi-index	0.00

Visualization

Abstract