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

Full description

Bibliographic Details

Published in:	New generation computing Vol. 15; no. 4; pp. 449 - 481
Main Authors:	Andreoli, Jean -Marc, Pareschi, Remo, Castagnetti, Tiziana
Format:	Journal Article
Language:	English
Published:	Heidelberg Springer Nature B.V 01.01.1997
Subjects:	Computation Logic programming Searching
ISSN:	0288-3635, 1882-7055
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!