Resource Management in Linear Logic Search Revisited
作者： Ernesto Pimentel , Pablo López
DOI:
关键词: Logical framework 、 Computational logic 、 Theoretical computer science 、 Context (language use) 、 Description logic 、 Resource Management System 、 Programming language 、 Computer science 、 Resource management 、 Linear logic 、 Structure (mathematical logic)
摘要: Linear logic provides a logical framework to express fundamental computational concepts in declarative style. As consequence, it has been used as sound foundation for the design of expressive programming and specification languages. Unfortunately, linearity is convenient specifying difficult implement. In particular, successful implementation linear languages provers involving context splitting strongly depends on efficiency method computing suitable split. A number solutions have proposed, referred lazy or resource management systems. this paper, we present new system Lolli language. We show that choice structure employed represent contexts strong influence overall performcince system. also estimate performance previous proposals, compare them our
参考文章(9)
Joshua Seth Hodas, Logic programming in intuitionistic linear logic: theory, design, and implementation University of Pennsylvania. ,(1995)
Michael Winikoff, James Harland, Implementing the Linear Logic Programming Language Lygon. ILPS. pp. 66- 80 ,(1995)
Ernesto Pimentel, Pablo López, A Lazy Splitting System for Forum. appia-gulp-prode. pp. 247- 258 ,(1997)
Iliano Cervesato, Joshua S. Hodas, Frank Pfenning, Efficient Resource Management for Linear Logic Proof Search international workshop on extensions of logic programming. pp. 67- 81 ,(1996) , 10.1007/3-540-60983-0_5
Dale Miller, Forum: a multiple-conclusion specification logic Theoretical Computer Science. ,vol. 165, pp. 201- 232 ,(1996) , 10.1016/0304-3975(96)00045-X
J.S. Hodas, D. Miller, Logic programming in a fragment of intuitionistic linear logic logic in computer science. ,vol. 110, pp. 327- 365 ,(1991) , 10.1006/INCO.1994.1036
Jean-Marc Andreoli, Remo Pareschi, Linear objects: logical processes with built-in inheritance New Generation Computing. ,vol. 9, pp. 495- 510 ,(1990) , 10.1007/BF03037173
D. Miller, A multiple-conclusion meta-logic logic in computer science. pp. 272- 281 ,(1994) , 10.1109/LICS.1994.316062
Jean-Yves Girard, Linear logic Theoretical Computer Science archive. ,vol. 50, pp. 1- ,(1987) , 10.1016/0304-3975(87)90045-4