Marco Bozzano, et al.  Home/Search
Context
Related
| disi.unige.it/pub/person...gulp00.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: In this paper we investigate the relationship between disjunctive logic programming as defined in [9] and a subset of linear logic, namely Andreoli and Pareschi's LO [2]. We analyze the two languages both from a top-down, operational perspective, and from a bottom-up, semantical one. From a proof-theoretical perspective, we show that, modulo a simple mapping between classical and linear connectives, LO can be viewed as a sub-structural fragment of DLP in which the structural rule of contraction ... (Update)
Similar documents (at the sentence level):
52.5%: DLP as an abstraction of LO - On the Relations between.. - Bozzano, al. (2000) (Correct)
15.6%: An Effective Fixpoint Semantics for Linear Logic Programs - Bozzano, Delzanno, Martelli (Correct)
Active bibliography (related documents): More All
0.1: A Bottom-up Semantics for Linear Logic Programs - Bozzano, Delzanno, Martelli (2000) (Correct)
0.1: Automated Protocol Verification in Linear Logic - Bozzano, Delzanno (2002) (Correct)
0.1: Automated Verification of Security Protocols - Bozzano, Delzanno (2002) (Correct)
Similar documents based on text: More All
0.5: Model Checking Linear Logic Specifications - Bozzano, Delzanno, Martelli (2004) (Correct)
0.4: An Effective Bottom-Up Semantics for First-Order Linear .. - Bozzano, Delzanno.. (2001) (Correct)
0.4: A Bottom-up Semantics for LO - Bozzano, Delzanno, Martelli (Correct)
BibTeX entry: (Update)
@misc{ bozzano-dlp,
author = "Marco Bozzano and Giorgio Delzanno and Maurizio Martelli",
title = "{DLP} as an abstraction of {LO} --- On the Relations between Disjunctive
and Linear Logic Programming (Extended Abstract)",
url = "citeseer.ist.psu.edu/381043.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
223 Linear Objects: Logical Processes with Built-In Inheritance - Andreoli, Pareschi - 1991
79 Parallel program schemata (context) - Karp, Miller - 1969
17 Abstract Interpretation: A Unified Model for Static Analysis.. (context) - Cousot, Cousot - 1977
16 Theory of Disjunctive Logic Programs - Minker, Rajasekar et al. - 1991
10 Completeness in Abstract Interpretation: A Domain Perspectiv.. (context) - Giacobazzi, Ranzato - 1997
9 Computational Logic: The Newsletter of the European Network .. (context) - Miller, Linear - 1995
8 A Bottom-up semantics for Linear Logic Programs - Bozzano, Delzanno et al. - 2000
2 Sistematic Design of Program Analysis Frameworks (context) - Cousot, Cousot - 1977
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