See this document in CiteSeerX!

Objects in a Higher-Order Linear Logic Setting (Extended Abstract)  (Make Corrections)  
Giorgio Delzanno, Maurizio Martelli



  Home/Search   Context   Related

 
View or download:
disi.unige.it/pub/pers...ptcoop96.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  disi.unige.it/person/Del...papers (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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