Paolo Volpe Dipartimento di Informatica Universit`a di Pisa Corso Italia, 40...  Home/Search
Context Related
Links: ACM DBLP | di.unipi.it/~volpep/LC/LC.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: di.unipi.it/~volpep/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We describe a formalism based on the proof theory of linear logic, whose aim is to specify concurrent computations and whose language restriction (as compared to other linear logic languages) provides a simpler operational model that can lead to a more practical language core. The fragment is proved to be an abstract logic programming language, that is any sequent can be derived by uniform proofs. The resulting class of computations can be viewed in terms of multiset rewriting and is... (Update)
Context of citations to this paper: More
.... has been the basis for a number of programming languages including Lygon [WH95, WH96] Lolli [HM94] Forum [Mil94] ACL [KY93] LC [Vol94] and LO [AP91] These languages were used to solve problems requiring concurrency, updates, knowledge representation, logical...
.... programming languages have been derived from linear logic including Lygon[11] Forum[15] LinLog [1] LO [2] Lolli [12] ACL [13] and LC [21]. A popular proof search strategy is the notion of goal directed proof [16] which, roughly speaking, requires that the goal be...
Cited by: More
Goal-Directed Proof Search in Multiple-Conclusioned.. - Harland, Lutovac.. (2000) (Correct)
Programming in Lygon: An Overview - Harland, Pym, Winikoff (1996) (Correct)
Programming in Lygon: an overview - Harland, Pym, Winikoff (1995) (Correct)
Similar documents (at the sentence level):
52.7%: Semantics of Concurrent Logic Programming as Uniform Proofs - Volpe (1995) (Correct)
Active bibliography (related documents): More All
0.3: Nondeterminism and Infinite Computations in Constraint.. - de Boer, Di Pierro.. (1995) (Correct)
0.2: Extended Horn Clauses: the Framework and some Semantics - Jacquet, Monteiro (1991) (Correct)
0.2: Communicating Clauses: towards Synchronous Communication in.. - Jacquet, Monteiro (1992) (Correct)
Similar documents based on text: More All
0.1: A First-Order Language for Expressing Aliasing and Type Properties .. - Volpe (Correct)
0.1: Abstractions of Uniform Proofs - Volpe (Correct)
0.0: A Primer on Consumer Marketing Research: Procedures.. - Lappin, Figoni, al. (1994) (Correct)
Related documents from co-citation: More All
10: A uniform proof-theoretic investigation of linear logic programming - Harland, Pym - 1994
9: Logic programming in a fragment of intuitionistic linear logic - Hodas, Miller - 1994
8: Logic programming with focusing proofs in linear logic - Andreoli - 1992
BibTeX entry: (Update)
Paolo Volpe. Concurrent logic programming as uniform linear proofs. In Giorgio Levi and Mario Rodrguez-Artalejo, editors, Algebraic and Logic Programming, pages 133--149. Springer-Verlag, September 1994. http://citeseer.ist.psu.edu/volpe94concurrent.html More
@inproceedings{ volpe94concurrent,
author = "Paolo Volpe",
title = "Concurrent Logic Programming as Uniform Linear Proofs",
booktitle = "Proceedings of the Fourth International Conference on Algebraic and Logic Programming",
publisher = "Springer-Verlag LNCS 850",
address = "Madrid, Spain",
editor = "G. Levi and M. Rodr{\'\i}guez-Artalejo",
pages = "133--149",
year = "1994",
url = "citeseer.ist.psu.edu/volpe94concurrent.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987 ACM
375 ACM Transactions on Programming Languages and Systems (context) - Gelernter, in - 1985
340 Uniform proofs as a foundation for Logic Programming (context) - Miller, Pfenning et al. - 1991 ACM DBLP
291 Theoretical Computer Science (context) - Lafont, abstract - 1988 ACM
257 Logic programming in a fragment of intuitionistic linear log.. - Hodas, Miller - 1991 ACM DBLP
247 The family of concurrent logic programming languages (context) - Shapiro - 1989 ACM DBLP
233 Computational interpretations of linear logic - Abramsky - 1993 ACM DBLP
223 Linear Objects: logical processes with built-in inheritance - Andreoli, Pareschi - 1990 ACM
159 The chemical abstract machine (context) - Berry, Boudol - 1990
146 Introduction to Logic Programming (context) - Apt - 1990
142 Logic programming with focusing proofs in linear logic - Andreoli - 1992 DBLP
109 Interaction nets (context) - Lafont - 1990 ACM DBLP
81 A multiple-conclusion meta-logic - Miller - 1994 DBLP
69 calculus as a theory in linear logic: Preliminary result (context) - Miller - 1992
66 ACM Transactions on Programming Languages and Systems (context) - Clark, Gregory et al. - 1986
59 The gamma model and its discipline of programming (context) - Banatre, Le Metayer - 1990 ACM DBLP
43 Asynchronous communication model based on linear logic - Kobayashi, Yonezawa - 1992 ACM DBLP
40 Communication as fair distribution of knowledge - Andreoli, Pareschi - 1991 ACM DBLP
20 A Synchronization Logic: Axiomatics and Formal Semantics of .. (context) - Falaschi, Levi et al. - 1984 DBLP
16 And-parallelism without shared variables (context) - Brogi - 1990
7 An extension to horn clause logic allowing the definition of.. (context) - Monteiro - 1981 ACM DBLP
4 Generalized and-or graphs (context) - Levi, Sirovich - 1976
3 Semantic models for concurrent logic languages (context) - de Boer, Kok et al. - 1991 DBLP
2 A proposal for distributed programming in logic (context) - Monteiro - 1984 DBLP
2 Chemical logic programming (context) - Guglielmi, Levi - 1993
2 A problem reduction model for non-independent subproblems (context) - Levi, Sirovich - 1975 DBLP
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.di.unipi.it/~volpep/papers.html): More
Semantics of Concurrent Logic Programming as Uniform Proofs - Volpe (1995) (Correct)
A First-Order Language for Expressing Aliasing and Type Properties .. - Volpe (Correct)
Abstractions of Uniform Proofs - Volpe (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