Marco Bozzano, Giorgio Delzanno, Maurizio Martelli  Home/Search
Context Related
| disi.unige.it/pub/person...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/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. 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 like active databases, and,... (Update)
Context of citations to this paper: More
.... and (additive conjunction) in their body to express what they called external and internal concurrency [AP90] In our previous work [BDM00] we have de ned an e ective procedure to evaluate bottom up LO propositional programs. Our construction is based on the backward...
.... for (linear logic and or intuitionistic based) speci cations that do not require to x an initial state (i.e. that work independently by the number of agents in the system) Bottom up evaluation of logic programs and linear logic programs (see e.g. [BDM00]) could be a...
Cited by: More
Automated Protocol Verification in Linear Logic - Bozzano, Delzanno (2002) (Correct)
Automated Verification of Security Protocols - Bozzano, Delzanno (2002) (Correct)
Specifying and Debugging Security Protocols in the hhf Fragment.. - Delzanno (2000) (Correct)
Similar documents (at the sentence level):
48.2%: An Effective Fixpoint Semantics for Linear Logic Programs - Bozzano, Delzanno, Martelli (Correct)
24.6%: A Bottom-up Semantics for LO - Bozzano, Delzanno, Martelli (Correct)
Active bibliography (related documents): More All
0.6: An Effective Bottom-Up Semantics for First-Order Linear .. - Bozzano, Delzanno.. (2001) (Correct)
0.4: Model Checking Linear Logic Specifications - Bozzano, Delzanno, Martelli (2004) (Correct)
0.3: The Finite Model Property For Various Fragments Of Linear Logic - Lafont (1997) (Correct)
Similar documents based on text: More All
0.8: A Linear Logic Calculus of Objects - Bugliesi, Delzanno (1996) (Correct)
0.5: Algorithmic Verification of Invalidation-based Protocols - Bozzano, Delzanno (Correct)
0.5: DLP as an abstraction of LO - On the Relations between.. - Bozzano, al. (2000) (Correct)
Related documents from co-citation: More All
8: Theoretical Computer Science (context) - Girard - 1987
6: Forum: A multiple-conclusion specication logic (context) - Miller - 1996
6: Linear Objects: Logical Processes with Built-in Inheritance - Pareschi
BibTeX entry: (Update)
M. Bozzano, G. Delzanno, and M. Martelli. A Bottom-up semantics for Linear Logic Programs. To be presented at the 2nd International Conference on Principles and Practice of Declarative Programming (PPDP 2000). Montreal, Canada, September, 20-22, 2000. http://citeseer.ist.psu.edu/bozzano00bottomup.html More
@inproceedings{ bozzano00bottomup,
author = "Marco Bozzano and Giorgio Delzanno and Maurizio Martelli",
title = "A bottom-up semantics for linear logic programs",
booktitle = "Principles and Practice of Declarative Programming",
pages = "92--102",
year = "2000",
url = "citeseer.ist.psu.edu/bozzano00bottomup.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
982 Theoretical Computer Science (context) - Girard - 1987
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 - 1991
211 HyTech: a Model Checker for Hybrid Systems - Henzinger, Ho et al. - 1997
142 Logic Programming with Focusing Proofs in Linear Logic - Andreoli - 1992
113 Constraint Logic Programming: A Survey (context) - Ja, Maher - 1994
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 Programming in Lygon: An Overview - Harland, Pym 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 General Decidability Theorems for Innite-State Systems (context) - Abdulla, Cer et al. - 1996
27 Observable Semantics for Constraint Logic Programs - Gabbrielli, Dore et al. - 1995
21 Symbolic Model Checking of Innite-state Systems using Presbu.. (context) - Bultan, Gerber et al. - 1997
19 Forum: A Multiple-Conclusion Specication Logic (context) - Miller - 1996
16 Theory of Disjunctive Logic Programs - Minker, Rajasekar et al. - 1991
13 Decibility Issues for Petri Nets - a Survey (context) - Esparza, Nielsen - 1994
9 In Coordination Programming: Mechanisms, Models and Semantic.. (context) - Andreoli, LO - 1996
9 Computational Logic: The Newsletter of the European Network .. (context) - Miller, of et al. - 1995
8 Static Analysis of Linear Logic Programming (context) - Andreoli, Pareschi et al. - 1997
6 Making Logic Programs Reactive - Harland, Winiko - 1998
3 Propositional Linear Logic with Weakening is Decidable (context) - Kopylov - 1995
1 A Bottom-up Semantics for LO: Preliminary Results (context) - Bozzano, Delzanno et al. - 2000
The graph only includes citing articles where the year of publication is known.
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