Static Analysis of Linear Logic Programming (1997)
by
Jean-Marc Andreoli
,
Tiziana Castagnetti
,
Remo Pareschi
| Venue: | NEW GENERATION COMPUTING |
| Citations: | 11 - 3 self |
BibTeX
@MISC{Andreoli97staticanalysis,
author = {Jean-Marc Andreoli and Tiziana Castagnetti and Remo Pareschi},
title = {Static Analysis of Linear Logic Programming},
year = {1997}
}
OpenURL
Abstract
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 Logic. A proof normalization procedure, called "focusing", has been proposed to make the problem of proof search tractable. Correspondingly,







