Pablo Lopez, Frank Pfenning, Jeff Polakow, Kevin Watkins  Home/Search
Context Related
| cmu.edu/~fp/papers/ppdp05.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cmu.edu/~fp/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In this paper we extend Lolli with the remaining connectives of intuitionistic linear logic restricted to occur inside a monad, an idea taken from the concurrent logical framework (CLF). The resulting language, called LolliMon, has a natural forward chaining, committed choice operational semantics inside the monad, while... (Update)
Cited by: More
Avoiding Causal Dependencies via Proof Irrelevance in a.. - Ley-Wild, Pfenning (2006) (Correct)
Consumable Credentials in Logic-Based Access Control - Bauer, Bowers, Pfenning.. (2006) (Correct)
A Linear Logic of Authorization and Knowledge - Garg, Bauer, Bowers.. (2006) (Correct)
Active bibliography (related documents): More All
0.5: Focusing the Inverse Method for Linear Logic - Chaudhuri, Pfenning (2005) (Correct)
0.3: A New Framework for Declarative Programming - Finkelstein, Freyd, Lipton (2001) (Correct)
0.3: Encapsulating data in Logic Programming via Categorical.. - Lipton, McGrail (1998) (Correct)
Similar documents based on text:
5.0: Unknown - (Correct)
Related documents from co-citation: More All
2: Girard, J-Y. 1987. `Linear Logic'. In: Theoretical Computer Science 59, pp1-102.
2: Non-interference in constructive authorization logic - Garg, Pfenning - 2006
2: Proof-carrying authentication - Appel, Felten - 1999
BibTeX entry: (Update)
P. Lopez, F. Pfenning, J. Polakow, and K. Watkins. Monadic concurrent linear logic programming. In Proc. of PPDP'05, 2005. To appear. http://citeseer.ist.psu.edu/lopez05monadic.html More
@misc{ lopez05monadic,
author = "P. Lopez and F. Pfenning and J. Polakow and K. Watkins",
title = "Monadic concurrent linear logic programming",
text = "P. Lopez, F. Pfenning, J. Polakow, and K. Watkins. Monadic concurrent linear
logic programming. In Proc. of PPDP'05, 2005. To appear.",
year = "2005",
url = "citeseer.ist.psu.edu/lopez05monadic.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
369 Information and Computation (context) - Moggi, computation - 1991
340 Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991
293 The essence of functional programming - Wadler - 1992
257 Logic programming in a fragment of intuitionistic linear log.. - Hodas, Miller - 1994
251 A logic programming language with lambda-abstraction - Miller - 1991
247 The family of concurrent logic programming languages (context) - Shapiro - 1989
178 Communicating and Mobile Systems: the #-Calculus (context) - Milner - 1999
142 Logic programming with focusing proofs in linear logic - Andreoli - 1992
101 Higher-order logic programming - Miller, Nadathur - 1986
84 Mathematical Structures in Computer Science (context) - Pfenning, Davies et al. - 2001
79 A uniform proof-theoretic investigation of linear logic prog.. - Pym, Harland - 1994
64 Theory and practice of constraint handling rules - uhwirth - 1998
46 Forum: A multiple-conclusion specification logic - Miller - 1996
31 Information and Computation (context) - Fairtlough, Mendler et al. - 1997
24 A concurrent logical framework I: Judgments and properties - Watkins, Cervesato et al. - 2002
24 the complexity analysis of static analyses - McAllester - 2002
19 A concurrent logical framework II: Examples and applications - Cervesato, Pfenning et al. - 2002
19 Term indexing (context) - Ramakrishnan, Sekar et al. - 1965
17 Concurrent structured processes (context) - Andreoli, Pareschi et al. - 1990
15 Monadic constructs for logic programming (context) - Bekkers, Tarau - 1995
14 Multilisp: A language for parallel symbolic computation (context) - Halstead - 1985
11 Typed higher-order concurrent linear logic programming - Kobayashi, Yonezawa - 1994
10 A new meta-complexity theorem for bottom-up logic programs - Ganzinger, McAllester - 2001
9 A concurrent logical framework: The propositional fragment - Watkins, Cervesato et al. - 2004
6 Forward and backward chaining in linear logic - Harland, Pym et al. - 2000
3 Monads and Control in Logic Programming (context) - McGrail - 1997
3 Model checking linear logic specifications - Bozzano, Delzanno et al. - 2004
2 Substructural operational semantics and linear destination-p.. (context) - Pfenning - 2004
1 Logical algorithms - Ganzinger, McAllester - 2002
1 Implementing efficient resource management for linear logic .. (context) - opez, Polakow - 2005
Documents on the same site (http://www.cs.cmu.edu/~fp/publications.html): More
Verifying Uniqueness in a Logical Framework - Anderson, Pfenning (2004) (Correct)
Compiler Verification in LF - Hannan, Pfenning (1992) (Correct)
Meta-Programming with Names and Necessity - Nanevski, Pfenning (2002) (Correct)
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