Marco Bozzano, Giorgio Delzanno, Maurizio Martelli  Home/Search
Context
Related
| disi.unige.it/pub/per...techrep00.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/pers...phdactivity (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... (Update)
Similar documents (at the sentence level):
28.5%: A Bottom-up Semantics for LO - Bozzano, Delzanno, Martelli (Correct)
16.2%: A Bottom-up Semantics for Linear Logic Programs - Bozzano, Delzanno, Martelli (2000) (Correct)
13.4%: An Effective Fixpoint Semantics for Linear Logic Programs - Bozzano, Delzanno, Martelli (Correct)
Active bibliography (related documents): More All
0.3: 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: Logic Programming & Multi-Agent Systems: a.. - Bozzano.. (1999) (Correct)
0.4: DLP as an abstraction of LO - On the Relations between.. - Bozzano, al. (Correct)
0.4: A Linear Logic Specification of Chimera - Bozzano, Delzanno, Martelli (1997) (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/292787.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
373 Constraint Logic Programming: A Survey - Jaffar, Maher - 1994
257 Logic Programming in a Fragment of Intuitionistic Linear Log.. - Hodas, Miller - 1994
250 Automatic Discovery of Linear Restraints among Variables of .. - Cousot, Halbwachs - 1978
223 Linear Objects: Logical Processes with Built-In Inheritance - Andreoli, Pareschi - 1990
211 HyTech: a Model Checker for Hybrid Systems - Henzinger, Ho et al. - 1997
142 Logic Programming with focusing proofs in linear logic - Andreoli - 1992
88 Model Checking in CLP - Delzanno, Podelski - 1999
82 Semantics Approach: Theory and Applications (context) - Bossi, Gabbrielli et al. - 1994
79 Parallel Program Schemata (context) - Karp, Miller - 1969
46 Forum: A Multiple-Conclusion Specification Logic - Miller - 1996
46 Programming in Lygon: An overview - Harland, Pym et al. - 1996
44 General Decidability Theorems for Infinite-State Systems - Abdulla, Cerans et al. - 1996
43 Asynchronous Communication Model based on Linear Logic - Kobayashi, Yonezawa - 1995
40 Communication as Fair Distribution of Knowledge - Andreoli, Pareschi - 1991
34 Static Analysis of Communication for Asynchronous Concurrent.. - Kobayashi, Nakade et al. - 1995
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
13 Decibility issues for Petri nets - a survey (context) - Esparza, Nielsen - 1994
12 Distributed Concurrent Linear Logic Programming - Kobayashi, Shimizu et al. - 1999
11 Abstract Interpretation of Linear Logic Programming - Andreoli, Pareschi et al. - 1993
9 In Coordination Programming: mechanisms, models and semantic.. (context) - Andreoli, LO - 1996
6 Making Logic Programs Reactive - Harland, Winikoff - 1998
Documents on the same site (http://www.disi.unige.it/person/BozzanoM/phd-activity.html): More
Logic Programming & Multi-Agent Systems: a.. - Bozzano.. (1999) (Correct)
A Linear Logic Specification for Chimera - Bozzano, Delzanno, Martelli (1997) (Correct)
A Linear Logic Semantics for Object-Oriented, Deductive .. - Bozzano, Delzanno.. (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