Michele Bugliesi, Giorgio Delzanno  Home/Search
Context Related
| loria.fr/~lliquori/PA...jicslp96.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: loria.fr/~lliquori/pub (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents a linear logic programming language, called O \Gammaffi , that gives a complete account of an object-oriented calculus with inheritance and override. This language is best understood as a logical counterpart the object and record extensions of functional programming that have recently been proposed in the literature. From these proposals, O \Gammaffi inherits the representation of objects as composite data structures, with attribute and method fields, as well as their... (Update)
Context of citations to this paper: More
.... of programming languages containing side effects, concurrency features, references, exceptions, continuations, and objects [BDLM96, Chi95, DM95, Mil96]. Chirimar [Chi95] used Forum to present the semantics of a RISC processor and Chakravarty [Cha97] used it to specify the...
Cited by: More
The O'Ciao Approach to Object Oriented Logic Programming - Pineda, Bueno (2002) (Correct)
Foundations of a Module Concept for Distributed Object Systems - Filipe (2000) (Correct)
Linear Logic As A Framework For Specifying Sequent - Calculus Dale Miller (Correct)
Similar documents (at the sentence level):
21.1%: A Linear Logic Calculus of Objects - Bugliesi, Delzanno, Liquori.. (1996) (Correct)
Active bibliography (related documents): More All
0.1: Type Assigment Systems for Lambda Calculi and for the Lambda.. - Liquori (1996) (Correct)
0.1: Objects in a Higher-Order Linear Logic Setting (Extended.. - Delzanno, Martelli (Correct)
0.1: A Specification Logic for Concurrent Object-Oriented.. - Delzanno, Galmiche.. (1999) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.8: A Bottom-up Semantics for Linear Logic Programs - Bozzano, Delzanno, Martelli (2000) (Correct)
0.7: A Communication System for Efficient Parallel Processing on.. - Ciaccio (1999) (Correct)
0.7: YahOO: an Object-Oriented Logic Programming Language.. - Delzanno, Martelli (Correct)
Related documents from co-citation: More All
13: Objects in Forum - Delzanno, Martelli - 1995
13: Linear Objects: Logical Processes with Built-in Inheritance - Pareschi
12: Logic programming in a fragment of intuitionistic linear logic - Hodas, Miller - 1994
BibTeX entry: (Update)
M. Bugliesi, G. Delzanno, L. Liquori, and M. Martelli. A Linear Logic Calculus of Objects, submitted to the Joint International Conference and Symposium on Logic Programming '96, 1996. http://citeseer.ist.psu.edu/bugliesi96linear.html More
@inproceedings{ bugliesi96linear,
author = "Michele Bugliesi and Giorgio Delzanno and Luigi Liquori and Maurizio Martelli",
title = "A Linear Logic Calculus Objects",
booktitle = "Joint International Conference and Symposium on Logic Programming",
pages = "67--81",
year = "1996",
url = "citeseer.ist.psu.edu/bugliesi96linear.html" }
Citations (may not include all citations):306 Self: the Power of Simplicity (context) - Ungar, Smith - 1987 ACM DBLP
257 Logic Programming in a Fragment of Intuitionistic Linear Log.. - Hodas, Miller - 1994 ACM DBLP
251 A Logic Programming Language with Lambda-Abstraction - Miller - 1991
223 Linear Objects: Logical Processes with Built-In Inheritance - Andreoli, Pareschi - 1991 ACM
63 A Lambda Calculus of Objects and Method Specialization - Fisher, Honsell et al. - 1994 ACM DBLP
40 Mathematical Structures in Computer Sciences (context) - Cardelli, Mitchell et al. - 1991
33 Type-Theoretic Foundations for Concurrent Object-Oriented Pr.. (context) - Kobayashi, Yonezawa - 1994 DBLP
30 Objects in Forum - Delzanno, Martelli - 1995 DBLP
11 A Theory of Primitive Objects - Abadi, Cardelli - 1994 ACM
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.loria.fr/~lliquori/pub.html): More
A Framework for Defining Object-Calculi - Lang, Lescanne, Liquori (1999) (Correct)
Dealing with Explicit Exceptions in Prolog - Liquori, Sapino (Correct)
Subtyping Constraints for Incomplete Objects.. - Bono, Bugliesi.. (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