Joshua S. Hodas. Lolli: an extension of #Prolog with linear logic context management. In Dale Miller, editor, Proceedings of the 1992. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Resource Management for the Inverse Method in Linear Logic - Chaudhuri, Pfenning (Correct)
....be deleted safely from contexts when reasoning backward, and dereliction shrinks the context in the forward direction. In the domain of top down linear logic programming i.e. refining goals by applying inference rules in the backward direction until they are axiomatic, for example Lolli [7] or Lygon [14] resource management approaches fall into two broad kinds. The first kind perform general search with constraint solving. For example, in [6] resource use is marked by boolean flags, and the use of an inference rule is guarded by constraints on these boolean flags. The second ....
Joshua S. Hodas. Lolli: an extension of #Prolog with linear logic context management. In Dale Miller, editor, Proceedings of the 1992 workshop on the #Prolog programming language, Philadelphia, 1992.
The Inverse Method for Intuitionistic Linear Logic (The.. - Chaudhuri (2003) (Correct)
No context found.
Joshua S. Hodas. Lolli: an extension of #Prolog with linear logic context management. In Dale Miller, editor, Proceedings of the 1992.
The Inverse Method for Intuitionistic Linear Logic (The.. - Chaudhuri (2003) (Correct)
No context found.
Joshua S. Hodas. Lolli: an extension of #Prolog with linear logic context management. In Dale Miller, editor, Proceedings of the 1992.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC