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,...

Celý popis

Podrobná bibliografia

Vydané v:	Theory and practice of logic programming Ročník 4; číslo 5-6; s. 573 - 619
Hlavní autori:	BOZZANO, MARCO, DELZANNO, GIORGIO, MARTELLI, MAURIZIO
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Cambridge, UK Cambridge University Press 01.09.2004
Predmet:	Regular Papers linear logic fixpoint semantics bottom-up evaluation
ISSN:	1471-0684, 1475-3081
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!