Static analysis of Linear Logic programming

Linear Logic is gaining momentum in computer science because it offers a unified framework and a common vocabulary for studying and analyzing different aspects of programming and computation. We focus here on models where computation is identified with proof search in the sequent system of Linear Lo...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	New generation computing Jg. 15; H. 4; S. 449 - 481
Hauptverfasser:	Andreoli, Jean -Marc, Pareschi, Remo, Castagnetti, Tiziana
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Heidelberg Springer Nature B.V 01.01.1997
Schlagworte:	Computation Logic programming Searching
ISSN:	0288-3635, 1882-7055
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!