Giorgio Delzanno, Maurizio Martelli  Home/Search
Context
Related
| disi.unige.it/pub/pers...ptcoop96.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: ) Giorgio Delzanno and Maurizio Martelli DISI - Universit`a di Genova, Via Dodecaneso, 35, I-16146 Genova, Italy e-mail: fgiorgio,martellig@disi.unige.it http://www.disi.unige.it/person/DelzannoG/ Abstract In [5] some aspects of object-oriented programming have been reformulated in the higherorder Linear Logic framework, F&O, based on the language Forum [14]. In particular, it has been shown how to logically represent objects encapsulating method definitions and how to describe meta-rules... (Update)
Active bibliography (related documents): More All
0.4: Proof Theory in Linear Logic: A Specification of Concurrent Objects - Delzanno (Correct)
0.3: A Specification Logic for Concurrent Object-Oriented.. - Delzanno, Galmiche.. (1999) (Correct)
0.3: Proofs as Computations in Linear Logic - Delzanno, Martelli (1996) (Correct)
Similar documents based on text: More All
0.6: A Linear Logic Calculus of Objects - Bugliesi, Delzanno (1996) (Correct)
0.4: YahOO: an Object-Oriented Logic Programming Language.. - Delzanno, Martelli (Correct)
0.4: Objects in Forum - Delzanno, Martelli (1995) (Correct)
BibTeX entry: (Update)
@misc{ delzanno-objects,
author = "Giorgio Delzanno and Maurizio Martelli",
title = "Objects in a Higher-Order Linear Logic Setting (Extended Abstract)",
url = "citeseer.ist.psu.edu/108796.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987 ACM
340 Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991 ACM DBLP
223 Linear Objects: Logical Processes with Built-In Inheritance - Andreoli, Pareschi - 1991 ACM
81 A Multiple-Conclusion Meta-Logic - Miller - 1994
56 A Lambda Calculus of Objects and Method Specialization (context) - Fisher, Honsell et al. - 1994 ACM DBLP
53 Lexical Scoping as Universal Quantification - Miller - 1989 DBLP
43 Asynchronous Communication Model Based on Linear Logic - Kobayashi, Yonezawa - 1995 ACM DBLP
36 Applications of Linear Logic to Computation: An Overview - Alexiev - 1994
33 Type-Theoretic Foundations for Concurrent Object-Oriented Pr.. (context) - Kobayashi, Yonezawa - 1994 DBLP
30 Objects in Forum - Delzanno, Martelli - 1995 DBLP
16 A Linear Logic Calculus of Objects - Bugliesi, Delzanno et al. - 1996
11 Typed Higher-Order Concurrent Linear Logic Programming - Kobayashi, Yonezawa - 1994
11 A Theory of Primitive Objects - Abadi, Cardelli - 1994 ACM
6 Proofs as Computations in Linear Logic - Delzanno, Martelli - 1996 ACM DBLP
6 The Uniform Proof-theoretical Foundation of Linear Logic Pro.. (context) - Harland, Pym - 1991
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