Abstract interpretation of linear logic programming

Authors:
Jean-Marc Andreoli;Remo Pareschi;Tiziana Castagnetti
Affiliations:
-;-;-
Venue:
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Year:
1993

Citing 0
Cited 4

An Effective Bottom-Up Semantics for First-Order Linear Logic Programs

FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
Proof-theoretic and higher-order extensions of logic programming

A 25-year perspective on logic programming
Towards resource handling in logic programming: The PPL framework and fits semantics

Computer Languages
Distributed logic objects

Computer Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract