Static analysis of linear logic programming

Authors:
Jean-Marc Andreoli;Remo Pareschi;Tiziana Castagnetti
Affiliations:
-;-;-
Venue:
New Generation Computing
Year:
1997

Citing 0
Cited 3

An effective fixpoint semantics for linear logic programs

Theory and Practice of Logic Programming
Model checking linear logic specifications

Theory and Practice of Logic Programming
Partial deduction for linear logic—the symbolic negotiation perspective

DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract