Paper Info
Title
A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming
Abstract
In programming languages based on linear logic, the program can grow and shrink in a nearly arbitrary manner over the course of execution. Since the introduction of the I/O model of proof search [11, 12], a number of refinements have been proposed with the intention of reducing its degree of non-determinism [3, 4, 12, 13, 14]. Unfortunately each of these systems has had some limitations. In particular, while the resource management systems of Cervesato et al. [3, 4] and the frame system of L贸pez and Pimentel [14] obtained the greatest degree of determinism, they required global operations on the set of clauses which were suitable only for interpreter-based implementations. In contrast the level-tags system of Hodas, et al. relied only on relabeling tags attached to individual formulas, and was hence appropriate as the specification of an abstract machine. However it retained more non-determinism than the resource management systems. This led to a divergence in the operational semantics of the interpreted and compiled versions of the language Lolli. In this paper we propose a tag-frame system which recaptures the behavior of the resource management systems, while being appropriate as a foundation of a compiled implementation.
Year
DOI
Venue
2002
10.1007/3-540-45793-3_12
CSL
Keywords
Field
DocType
greatest degree,proof search,resource management,linear-logic programming,tag-frame system,global operation,individual formula,arbitrary manner,abstract machine,resource management system,o model,level-tags system,frame system,linear logic,operational semantics,programming language,resource manager
Resource management,Operational semantics,Programming language,Computer science,Theoretical computer science,Implementation,Interpreter,Linear programming,Logic programming,Linear logic,Abstract machine,Distributed computing
Conference
Volume
ISSN
ISBN
2471
0302-9743
3-540-44240-5
Citations 
PageRank 
References 
6
0.50
13
Authors
5
Name
Order
Citations
PageRank
Joshua S. Hodas129120.31
Pablo López2486.78
Jeffrey Polakow381.25
Lubomira Stoilova4402.88
Ernesto Pimentel517721.23