Model checking linear logic specifications

The overall goal of this paper is to investigate the theoretical foundations of algorithmic verification techniques for first order linear logic specifications. The fragment of linear logic we consider in this paper is based on the linear logic programming language called LO (Andreoli and Pareschi,...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Theory and practice of logic programming Jg. 4; H. 5-6; S. 573 - 619
Hauptverfasser:	BOZZANO, MARCO, DELZANNO, GIORGIO, MARTELLI, MAURIZIO
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Cambridge, UK Cambridge University Press 01.09.2004
Schlagworte:	Regular Papers linear logic fixpoint semantics bottom-up evaluation
ISSN:	1471-0684, 1475-3081
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!