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

Full description

Saved in:

Bibliographic Details
Published in:	Theory and practice of logic programming Vol. 4; no. 5-6; pp. 573 - 619
Main Authors:	BOZZANO, MARCO, DELZANNO, GIORGIO, MARTELLI, MAURIZIO
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.09.2004
Subjects:	Regular Papers linear logic fixpoint semantics bottom-up evaluation
ISSN:	1471-0684, 1475-3081
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!