Marco Bozzano, Giorgio Delzanno, Maurizio Martelli  Home/Search
Context Related
| mpisb.mpg.de/~delzanno/Pape...dyn97.ps 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: strudel.di.unipi.it/p40/p...pubbl (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Chimera [11] is an active, deductive, and object-oriented database system which incorporates many of the most advanced technologies in the field. Our work is aimed at proposing a formalization of its computational contents by employing the language Ehhf [14], a rich linear logic programming and specification language which is a subset of Forum[34] (a presentation of linear logic in terms of an abstract logic programming language). We will show that the resulting specification captures the... (Update)
Context of citations to this paper: More
.... (LLP) paradigm [Mil95] It has been successfully applied to formalize important programming aspects such as data management [HM94,BDM97] object orientation [AP90,DM95,BDLM96] statebased computations [Chi95] and aspects of concurrency [Mil93,MMP96] These features make...
Cited by: More
Logic Programming & Multi-Agent Systems: a.. - Bozzano.. (1999) (Correct)
Similar documents (at the sentence level):
26.9%: A Linear Logic Specification for Chimera - Bozzano, Delzanno, Martelli (1997) (Correct)
6.6%: A Linear Logic Semantics for Object-Oriented, Deductive .. - Bozzano, Delzanno.. (Correct)
Active bibliography (related documents): More All
0.7: Proofs as Computations in Linear Logic - Delzanno, Martelli (2000) (Correct)
0.4: Proof Theory in Linear Logic: A Specification of Concurrent Objects - Delzanno (Correct)
0.3: YahOO: an Object-Oriented Logic Programming Language.. - Delzanno, Martelli (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.5: A Bottom-up Semantics for Linear Logic Programs - Bozzano, Delzanno, Martelli (2000) (Correct)
0.4: Multi-Agent Systems Development as a Software.. - Bozzano, Delzanno, .. (1999) (Correct)
0.4: Model Checking Linear Logic Specifications - Bozzano, Delzanno, Martelli (2004) (Correct)
BibTeX entry: (Update)
M. Bozzano, G. Delzanno, and M. Martelli. A Linear Logic Specification of Chimera. In Proceedings of DYNAMICS'97, a satellite workshop of ILPS '97, 1997. http://citeseer.ist.psu.edu/article/bozzano97linear.html More
@misc{ bozzano97linear,
author = "M. Bozzano and G. Delzanno and M. Martelli",
title = "A Linear Logic Specification of Chimera",
text = "M. Bozzano, G. Delzanno, and M. Martelli. A Linear Logic Specification
of Chimera. In Proceedings of DYNAMICS'97, a satellite workshop of ILPS
'97, 1997.",
year = "1997",
url = "citeseer.ist.psu.edu/article/bozzano97linear.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987 ACM
413 Logical foundations of object-oriented and frame-based langu.. - Kifer, Lausen et al. - 1995 ACM DBLP
340 Uniform Proofs as a Foundation for Logic Programming (context) - Miller, Nadathur et al. - 1991 ACM DBLP
299 Conditional rewriting logic as a unified model of concurrenc.. (context) - Meseguer - 1991 ACM
257 Logic Programming in a Fragment of Intuitionistic Linear Log.. - Hodas, Miller - 1994 ACM DBLP
223 Linear Objects: Logical Processes with Built-In Inheritance - Andreoli, Pareschi - 1990 ACM
149 A Logical Analysis of Modules in Logic Programming (context) - Miller - 1989 ACM DBLP
142 Logic Programming with focusing proofs in linear logic - Andreoli - 1992 DBLP
136 Ode as an Active Database: Constraints and Triggers - Gehani, Jagadish - 1991 DBLP
95 Event Specification in Active Object-Oriented Databases - Gehani, Jagadish et al. - 1992
72 Logic for Computer Science (context) - Gallier - 1986 ACM
47 Concurrency and Communication in Transaction Logic - Bonner, Kifer - 1996 DBLP
46 Forum: A Multiple-Conclusion Specification Logic - Miller - 1996 DBLP
41 HiLog: A first-order semantics for higher-order logic progra.. (context) - Chen, Kifer et al. - 1989 DBLP
38 Proof Theoretic Approach to Specification Languages - Chirimar - 1995 ACM
38 On proof normalization in linear logic - Galmiche, Perrier - 1994 ACM DBLP
37 Active rule management in Chimera (context) - Ceri, Fraternali et al. - 1994 DBLP
36 Applications of Linear Logic to Computation: An Overview - Alexiev - 1994
34 Concurrent Dynamic-Logic (context) - Peleg - 1987
32 Petri nets as models of linear logic - Engberg, Winskel - 1990
31 A Higher-Order Logic as the Basis for Logic Programming - Nadathur - 1987 ACM
30 Objects in Forum - Delzanno, Martelli - 1995 DBLP
25 Designing Database Applications with Objects and Rules: the .. (context) - Ceri, Fraternali - 1997
25 calculus and linear logic - Bellin, Scott et al. - 1992
20 Representing Objects in a Logic Programming Language with Sc.. - Hodas, Miller - 1990 ACM
19 Object-Oriented Programming in Linear Logic (context) - Delzanno - 1997
19 Consolidated specification of Chimera (context) - Ceri, Manthey - 1993
18 A formal definition of the Chimera object-oriented data mode.. (context) - Guerrini, Bertino et al. - 1997 ACM DBLP
16 A Linear Logic Calculus of Objects - Bugliesi, Delzanno et al. - 1996
16 Encoding transition systems in sequent calculus - McDowell, Miller et al. - 1996 ACM DBLP
15 Some Syntactical Observations on Linear Logic (context) - Schellinx - 1991 DBLP
15 Deductive Object Databases - Bertino, Guerrini et al. - 1994 ACM DBLP
12 Object SQL: Language Extensions for Object Data Management (context) - Gallagher - 1992
9 Computational Logic: The Newsletter of the European Network .. (context) - Miller, Linear - 1995
4 Fifth International Conference Symposium on Logic Programmin.. (context) - Nadathur, Miller et al. - 1988
3 i and A. Yonezawa. Logical, Testing, and Observation Equival.. (context) - Kobayash - 1995
2 A Uniform Proof-Theoretical Investigation of Linear Logic Pr.. (context) - Harland, Pym - 1994
1 Semantica di basi di dati in logica lineare: il caso Chimera (context) - Bozzano - 1997
Documents on the same site (http://strudel.di.unipi.it/p40/pubbl/pubbl.html): More
Uniform Closures: Order-Theoretically Reconstructing Logic.. - Giacobazzi, al. (1998) (Correct)
Static Analysis of Processes for No Read-Up and No.. - Bodei, Degano, Nielson.. (1999) (Correct)
Matching for the Lambda Calculus of Objects - Bono, Bugliesi (1998) (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