Marco Bozzano, Giorgio Delzanno, Maurizio Martelli  Home/Search
Context
Related
| disi.unige.it/person/Del...ppdp00.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: disi.unige.it/person/Del...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The operational semantics of linear logic programming languages is given in terms of goal-driven sequent calculi for fragments of the logic. The proof-theoretic presentation is the natural counterpart of the top-down semantics of traditional logic programs. In this paper we investigate the theoretical foundation of an alternative operational semantics based on a bottom-up evaluation of linear logic programs via a fixpoint operator. The bottom-up fixpoint semantics is important in applications... (Update)
Similar documents (at the sentence level):
39.2%: A Bottom-up Semantics for LO - Bozzano, Delzanno, Martelli (Correct)
30.1%: A Bottom-up Semantics for Linear Logic Programs - Bozzano, Delzanno, Martelli (2000) (Correct)
21.9%: An Effective Fixpoint Semantics for Linear Logic Programs - Bozzano, Delzanno, Martelli (Correct)
Active bibliography (related documents): More All
0.4: An Effective Bottom-Up Semantics for First-Order Linear .. - Bozzano, Delzanno.. (2001) (Correct)
0.2: Model Checking Linear Logic Specifications - Bozzano, Delzanno, Martelli (2004) (Correct)
0.1: Appears in New Generation Computing, 15(4), 1997 - Static Analysis Of (1996) (Correct)
Similar documents based on text: More All
0.5: DLP as an abstraction of LO - On the Relations between.. - Bozzano, al. (2000) (Correct)
0.5: Logic Programming & Multi-Agent Systems: a.. - Bozzano.. (1999) (Correct)
0.4: Objects in Forum - Delzanno, Martelli (1995) (Correct)
BibTeX entry: (Update)
@misc{ bozzano-bottomup,
author = "Marco Bozzano and Giorgio Delzanno and Maurizio Martelli",
title = "A Bottom-up Semantics for {LO}",
url = "citeseer.ist.psu.edu/309590.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987 ACM
257 Logic Programming in a Fragment of Intuitionistic Linear Log.. - Hodas, Miller - 1994 ACM DBLP
250 Automatic Discovery of Linear Restraints among Variables of .. - Cousot, Halbwachs - 1978 ACM DBLP
223 Linear Objects: Logical Processes with Built-In Inheritance - Andreoli, Pareschi - 1990 ACM
211 HyTech: a Model Checker for Hybrid Systems - Henzinger, Ho et al. - 1997 DBLP
142 Logic Programming with focusing proofs in linear logic - Andreoli - 1992 DBLP
113 Constraint Logic Programming: A Survey (context) - Ja, Maher - 1994 DBLP
88 Model Checking in CLP - Delzanno, Podelski - 1999 ACM DBLP
82 Semantics Approach: Theory and Applications (context) - Bossi, Gabbrielli et al. - 1994
79 Parallel Program Schemata (context) - Karp, Miller - 1969 DBLP
46 Programming in Lygon: An overview - Harland, Pym et al. - 1996 DBLP
43 Asynchronous Communication Model based on Linear Logic - Kobayashi, Yonezawa - 1995 ACM DBLP
40 Communication as Fair Distribution of Knowledge - Andreoli, Pareschi - 1991 ACM DBLP
34 Static Analysis of Communication for Asynchronous Concurrent.. - Kobayashi, Nakade et al. - 1995 ACM DBLP
32 Petri Nets and Linear Logic: a case study for logic programm.. - Cervesato - 1995
27 Observable semantics for Constraint Logic Programs - Gabbrielli, Dore et al. - 1995 DBLP
27 General Decidability Theorems for Innite-State Systems (context) - Abdulla, Cer et al. - 1996
19 Forum: A Multiple-Conclusion Specication Logic (context) - Miller - 1996
13 Decibility issues for Petri nets - a survey (context) - Esparza, Nielsen - 1994
12 Distributed Concurrent Linear Logic Programming - Kobayashi, Shimizu et al. - 1999 ACM DBLP
11 Abstract Interpretation of Linear Logic Programming - Andreoli, Pareschi et al. - 1993 ACM DBLP
9 In Coordination Programming: mechanisms, models and semantic.. (context) - Andreoli, LO - 1996
6 Making Logic Programs Reactive - Harland, Winiko - 1998
1 A Bottom-up Semantics fron LO - Preliminary Results - Techni.. (context) - Bozzano, Delzanno et al. - 2000
Documents on the same site (http://www.disi.unige.it/person/DelzannoG/papers.html): More
A Linear Logic Calculus of Objects - Bugliesi, Delzanno, Liquori.. (1996) (Correct)
Proofs as Computations in Linear Logic - Delzanno, Martelli (1996) (Correct)
Proofs as Computations in Linear Logic - Delzanno, Martelli (1996) (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