James Harland, David Pym, Michael Winikoff  Home/Search
Context Related
Links: DBLP | rmit.edu.au/~jah/publi...amast96a.ps.gz 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: rmit.edu.au/~jah/pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Recently, there has been much interest in the derivation of logic programming languages based on linear logic, a logic of resource-consumption. Such languages provide a notion of resource-oriented programming, often leading to programs that are more elegant and concise than their equivalents in languages, such as Prolog, based on classical logics. We discuss, with examples, the design, implementation and applications of Lygon, a linear logic programming language. Lygon is based on a... (Update)
Context of citations to this paper: More
...elimination is treated, let al.one an equational theory on proofs. The same is true of LinLog [And92] LO [AP91] ACL [KY93] Lygon [HPW96], and LLP [HWTK98] all of which treat logic programming over other fragments of classical or intuitionistic linear logic. Perrier...
...cut elimination is treated, let al.one an equational theory on proofs. The same is true of LinLog [And92] LO [AP91] ACL [KY93] Lygon [HPW96], and LLP [HWTK98] all of which treat logic programming over other fragments of classical or intuitionistic linear logic. Perrier...
Cited by: More
Pi-calculus and LCC, a Space Odyssey - Soliman (2003) (Correct)
lolliCoP -- A Linear Logic Implementation of a - Lean Connection-Method Theorem (Correct)
Ecient Implementation of a Linear Logic Programming Language - Joshua Hodas And (1998) (Correct)
Similar documents (at the sentence level): More
25.7%: Programming in Lygon: An Overview - Harland, Pym, Winikoff (1995) (Correct)
19.0%: Some Applications of the Linear Logic Programming Language Lygon - Winikoff, Harland (1996) (Correct)
15.4%: Programming in Lygon: an overview - Harland, Pym, Winikoff (1995) (Correct)
Active bibliography (related documents): More All
0.6: Implementing the Linear Logic Programming Language Lygon - Winikoff, Harland (Correct)
0.5: Proof Theory in Linear Logic: A Specification of Concurrent Objects - Delzanno (Correct)
0.4: Deriving Logic Programming Languages - Winikoff, Harland (1996) (Correct)
Similar documents based on text: More All
1.0: Declarative Procedural Goals in Intelligent Agent Systems - Winikoff, Padgham (2002) (Correct)
0.9: Linking Agent Concepts and Methodology with CAN - Winikoff, Harland, Padgham (Correct)
0.7: Language Design Issues for Agents based on Linear Logic.. - Harland, Winikoff (Correct)
Related documents from co-citation: More All
36: Logic programming in a fragment of intuitionistic linear logic - Hodas, Miller - 1994
36: Theoretical Computer Science (context) - Girard - 1987
24: A uniform proof-theoretic investigation of linear logic programming - Harland, Pym - 1994
BibTeX entry: (Update)
J. Harland, D. Pym, and M. Winikoff. Programming in Lygon: An overview, April 1995. http://citeseer.ist.psu.edu/article/harland96programming.html More
@inproceedings{ harland96programming,
author = "James Harland and David Pym and Michael Winikoff",
title = "Programming in {L}ygon: An Overview",
booktitle = "{A}lgebraic {M}ethodology and {S}oftware {T}echnology",
publisher = "Springer-Verlag LNCS 1101",
address = "Munich, Germany",
editor = "M. Wirsing and M. Nivat",
pages = "391--405",
year = "1996",
url = "citeseer.ist.psu.edu/article/harland96programming.html" }
Citations (may not include all citations):340 Uniform Proofs as a Foundation for Logic Programming (context) - Miller, Nadathur et al. - 1991 ACM DBLP
257 Logic Programming in a Fragment of Intuitionistic Linear Log.. - Hodas, Miller - 1994 ACM DBLP
242 Linear Logic (context) - Girard - 1987 ACM DBLP
223 Linear Objects: Logical Processes with Built-in Inheritance - Andreoli, Pareschi - 1990 ACM
175 NonmonotonicLogic and Temporal Projection (context) - Hanks, MacDermott - 1987
162 The Semantics of Predicate Logic as a Programming Language (context) - van Emden, Kowalski - 1976 ACM DBLP
142 Logic Programming with Focusing Proofs in Linear Logic - Andreoli - 1992 DBLP
79 A Uniform Proof-theoretic Investigation of Linear Logic Prog.. - Pym, Harland - 1994 DBLP
73 Lectures on Linear Logic (context) - Troelstra - 1992
63 Logic Programming in Intuitionistic Linear Logic: Theory (context) - Hodas - 1994
63 A Brief Guide to Linear Logic - Scedrov - 1993
52 The Aditi Deductive Database System - Vaghani, Ramamohanarao et al. - 1994 ACM DBLP
47 Untersuchungen uber das logische Schliessen (context) - Gentzen - 1934
38 The Uniform Proof-theoretic Foundation of Linear Logic Progr.. - Harland, Pym - 1991 DBLP
36 Applications of Linear Logic to Computation: An Overview - Alexiev - 1994
26 Implementing the Linear Logic Programming Language Lygon - Winikoff, Harland - 1995 DBLP
22 Wiley and Sons (context) - Kleene - 1968
17 Resolution in Fragments of Classical Linear Logic (context) - Harland, Pym - 1992
15 Programming the PTQ Grammar in XSB (context) - Warren - 1994 DBLP
14 Adding Negation-as-Failure to Intuitionistic Logic Programmi.. - Bonner, McCarty - 1990
12 Concurrent Logic Programming as Uniform Linear Proofs - Volpe - 1994 ACM DBLP
9 Logic Programming via Proofvalued Computations (context) - Pym, Wallen - 1992
8 A note on the implementation and applications of linear logi.. - Harland, Pym - 1994
8 ACL - A Concurrent Linear Logic Programming Paradigm (context) - Kobayash, Yonezawa - 1993 DBLP
4 the IEEE Symposium on Logic in Computer Science (context) - Miller, meta-logic et al. - 1994
3 Characterising Logic Programming Languages (context) - Winikoff, Harland - 1995
3 Towards Resource Handling in Logic Programming: the PPL Fram.. - Jacquet, Monteiro - 1994 DBLP
2 Some Applications of the Linear Logic ProgrammingLanguage Ly.. - Winikoff, Harland - 1996
1 Distributed with the BinProlog system (context) - Tarau, Manual
1 Hypothetical Logic Programming (context) - Dung - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.rmit.edu.au/~jah/pubs.html): More
Structural Properties of Logic Programs - Harland (Correct)
A Kripke-like Model for Negation as Failure - Harland (1989) (Correct)
Some Issues in the Operational Semantics of Logic Programs (or.. - Harland (1995) (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