Jean-Marc Andreoli, Tiziana Castagnetti, Remo Pareschi  Home/Search
Context Related
Links: ACM DBLP | xerox.com/people/andreoli/...dist.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: xerox.com/people/andreoli/...home (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Linear Logic is gaining momentum in computer science because it offers a unified framework and a common vocabulary for studying and analyzing different aspects of programming and computation. We focus here on models where computation is identified with proof search in the sequent system of Linear Logic. A proof normalization procedure, called "focusing", has been proposed to make the problem of proof search tractable. Correspondingly, there is a normalization procedure mapping formulae of... (Update)
Context of citations to this paper: More
...with other works, we are not aware of many papers that consider the static analysis of this class of languages. We may recall [11], where it is proposed a specific analysis for LO programs. We think that it can be seen as an instance of our framework in which the...
...of the fixpoint of S 1 P . In this paper we limit ourselves to the study of the propositional case that, as shown in [APC93, KNY95], can be viewed as the target of a possible abstract interpretation of a first order program. To our knowledge, this is the first...
Cited by: More
An Effective Bottom-Up Semantics for First-Order Linear .. - Bozzano, Delzanno.. (2001) (Correct)
A Bottom-up Semantics for LO - Bozzano, Delzanno, Martelli (Correct)
Higher-Order Concurrent Linear Logic Programming - Kobayashi, Yonezawa (1995) (Correct)
Similar documents (at the sentence level):
53.5%: Appears in New Generation Computing, 15(4), 1997 - Static Analysis Of (1996) (Correct)
Active bibliography (related documents): More All
0.4: A Practical Approach to the Global Analysis of CLP Programs - Banda, Hermenegildo (1993) (Correct)
0.4: Interaction Abstract Machines - Andreoli, al. (1993) (Correct)
0.3: A Survey of Linear Logic Programming - Dale Miller (1995) (Correct)
Similar documents based on text: More All
0.4: Logic Programming with Focusing Proofs in Linear Logic - Andreoli (1992) (Correct)
0.2: Focusing and Proof-Nets in Linear and Non-Commutative Logic - Andreoli, Maieli (1999) (Correct)
0.2: Communication as Fair Distribution of Knowledge - Andreoli, Pareschi (1991) (Correct)
Related documents from co-citation: More All
7: Communication as fair distribution of knowledge - Andreoli, Pareschi - 1991
7: Logic programming in a fragment of intuitionistic linear logic - Hodas, Miller - 1994
6: Asynchronous communication model based on linear logic - Kobayashi, Yonezawa - 1995
BibTeX entry: (Update)
Andreoli, J.-M., R. Pareschi, and T. Castagnetti, "Abstract Interpretation of Linear Logic Programming," in Proceedings of International Logic Programming Symposium, pp. 315--334, 1993. http://citeseer.ist.psu.edu/andreoli93abstract.html More
@inproceedings{ jeanmarcabstract,
author = "Andreoli, Jean-Marc and Pareschi, Remo and Castagnetti, Tiziana",
title = "Abstract Interpretation of Linear Logic Programming",
booktitle = "Logic Programming --- Proceedings of the 1993 International Symposium",
pages = "295--314",
url = "citeseer.ist.psu.edu/andreoli93abstract.html" }
Citations (may not include all citations):1174 Statecharts: A visual formalism for complex systems - Harel - 1987
982 Theoretical Computer Science (context) - Girard - 1987 ACM
815 Abstract interpretation: a unified lattice model for static .. (context) - Cousot, Cousot - 1977
494 The contract net protocol: High level communication and cont.. (context) - Smith - 1980
375 ACM Transactions on Programming Languages and Systems (context) - Gelernter, in - 1985
349 The process group approach to reliable distributed computing (context) - Birman - 1993
312 Systematic design of program analysis frameworks (context) - Cousot, Cousot - 1979
257 Logic programming in a fragment of intuitionistic linear log.. - Hodas, Miller - 1994 ACM DBLP
233 Computational interpretations of linear logic - Abramsky - 1993
159 The chemical abstract machine (context) - Berry, Boudol - 1990 ACM DBLP
142 Logic programming with focusing proofs in linear logic - Andreoli - 1992 DBLP
126 A logical theory of concurrent objects and its realization i.. (context) - Meseguer - 1992 ACM
121 Concurrent Constraint Programming Languages (context) - Saraswat - 1989 ACM
108 A practical framework for abstract interpretation of logic p.. (context) - Bruynooghe - 1991
96 Decision problems for propositional linear logic - Lincoln, Mitchell et al. - 1992 DBLP
94 ACM Transactions on Programming Languages and Systems (context) - Brogi, Ciancarini et al. - 1991
70 A semantics-based framework for the abstract interpretation .. (context) - Jones, Sndergaard - 1987
53 Bottom-up abstract interpretation of logic programs (context) - Codish, Dams et al. - 1994 ACM DBLP
51 Automatic mode inference for logic programs - Debray, Warren - 1988
48 Abstract interpretation of prolog programs (context) - Mellish - 1987 ACM DBLP
48 A general framework for semantics based bottom-up abstract i.. - Barbuti, Giacobazzi et al. - 1993
45 Actors: a conceptual foundation for concurrent object-orient.. (context) - Agha, Hewitt - 1987 ACM DBLP
43 Interaction abstract machines - Andreoli, Ciancarini et al. - 1993 ACM
40 Communication as fair distribution of knowledge - Andreoli, Pareschi - 1991 ACM DBLP
38 Generalized semantics and abstract interpretation for constr.. - Giacobazzi, Debray et al. - 1992
38 The uniform proof-theoretic foundation of linear logic progr.. - Harland, Pym - 1991 DBLP
35 A UNITY-style programming logic for shared dataspace program.. - Cunningham, Roman - 1990 ACM DBLP
30 Logic programming with sequent systems: a linear logic appro.. (context) - Andreoli, Pareschi - 1990
28 Efficient dataflow analysis of logic programs - Debray - 1988
24 Higher order linear concurrent constraint programming - Saraswat, Lincoln - 1992
23 Making type inference practical - Oxhj, Palsberg et al. - 1992
19 Resolution calculus for first-order linear logic (context) - Mints - 1991
19 A linear semantics for allowed logic programs (context) - Cerrito - 1990 DBLP
13 A typed foundation for directional logic programming (context) - Reddy - 1992
11 abstractions and constraints in logic programs (context) - Codognet, Fil'e - 1992
10 Automated deduction in additive and multiplicative linear lo.. (context) - Galmiche, Perrier - 1992
8 Static analysis of linear logic programming (context) - Andreoli, Castagnetti et al. - 1997 DBLP
8 composition and concurrency: the lo experience (context) - Bourgois, Andreoli et al. - 1992
8 volume 25 of Colloquium Publications (context) - Birkhoff - 1979
6 A complete framework for the abstract interpretation of logi.. (context) - Corsini, Fil'e - 1989
6 Programming Expert Systems in OPS (context) - Brownston, Farrell et al. - 1985
4 The pi-calculus as a theory in linear logic: Preliminary res.. - Miller - 1992 DBLP
3 Towards a framework for abstract interpretation of constrain.. (context) - Janssens, Bruynooghe - 1992
3 An object-oriented concurrent computation model ABCM/1 and i.. (context) - Yonezawa, Shibayama et al. - 1990
2 Semantic based dataflow analysis of logic programs (context) - Marriot, Sndergaard - 1989
2 Bottom-up abstract interpretation of logic programs (context) - Marriot, Sndergaard - 1988 ACM DBLP
1 Message on the Linear Logic mailing list (context) - Girard, theorem et al. - 1992
1 Asynchronous communication language based on linear logic (context) - Kobayashi, Yonezawa - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.rxrc.xerox.com/people/andreoli/publications/home.html): More
Linear Objects: logical processes with built-in inheritance - Andreoli, Pareschi (Correct)
Linear Objects: logical processes with built-in inheritance - Andreoli, Pareschi (1991) (Correct)
Communication as Fair Distribution of Knowledge - Andreoli, Pareschi (1991) (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