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á bibliografie

Vydáno v:	Theory and practice of logic programming Ročník 4; číslo 5-6; s. 573 - 619
Hlavní autoři:	BOZZANO, MARCO, DELZANNO, GIORGIO, MARTELLI, MAURIZIO
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cambridge, UK Cambridge University Press 01.09.2004
Témata:	Regular Papers linear logic fixpoint semantics bottom-up evaluation
ISSN:	1471-0684, 1475-3081
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!