Giorgio Delzanno, Maurizio Martelli  Home/Search
Context Related
Links: DBLP | disi.unige.it/pub/person...ilps95.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: A logical characterization of the typical features of object-oriented languages could yield a clear semantical counterpart of their operational meaning and, at the same time, it could allow to define a logic programming language in which it is possible to reason over highly-complex data structures. Many approaches to this problem have been proposed in the last years. Classical logic turned out to be unsuitable to model complex mechanisms, such as the dynamic modifications of the state of the... (Update)
Cited by: More
EGO: Controlling the Power of Simplicity - Bejleri, Aldrich, Bierhoff (2006) (Correct)
The O'Ciao Approach to Object Oriented Logic Programming - Pineda, Bueno (2002) (Correct)
O'CIAO - An Object Oriented Programming model using CIAO Prolog - Pineda, Hermenegildo (1999) (Correct)
Active bibliography (related documents): More All
1.1: YahOO: an Object-Oriented Logic Programming Language.. - Delzanno, Martelli (Correct)
0.8: Proof Theory in Linear Logic: A Specification of Concurrent Objects - Delzanno (Correct)
0.3: A Linear Logic Specification of Chimera - Bozzano, Delzanno, Martelli (1997) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.4: An Effective Fixpoint Semantics for Linear Logic Programs - Bozzano, Delzanno, Martelli (Correct)
0.3: A Specification Logic for Concurrent Object-Oriented.. - Delzanno, Galmiche.. (1999) (Correct)
0.2: Proofs as Computations in Linear Logic - Delzanno, Martelli (1996) (Correct)
Related documents from co-citation: More All
28: Linear Objects: Logical Processes with Built-in Inheritance - Pareschi
19: Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991
19: Logic programming in a fragment of intuitionistic linear logic - Hodas, Miller - 1994
BibTeX entry: (Update)
G. Delzanno and M. Martelli. Objects in Forum. In Proceedins of the International Logic Programming Symposium, Portland, Oregon, pages 115--129. The MIT Press, 1995. http://citeseer.ist.psu.edu/delzanno95objects.html More
@inproceedings{ delzanno95objects,
author = "Giorgio Delzanno and Maurizio Martelli",
title = "Objects in Forum",
booktitle = "International Logic Programming Symposium",
pages = "115--129",
year = "1995",
url = "citeseer.ist.psu.edu/delzanno95objects.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
167 Dimension of Object-Based Language Design (context) - Wegner - 1987
81 A Multiple-Conclusion Meta-Logic - Miller - 1994 DBLP
56 Modularity in Logic Programming - Bugliesi, Lamma et al. - 1994 ACM DBLP
53 Lexical Scoping as Universal Quantification - Miller - 1989 DBLP
24 Logical Objects (context) - Conery - 1988 DBLP
20 Representing Objects in a Logic Programming Language with Sc.. - Hodas, Miller - 1990 ACM
7 Imperial College of Science and Technology (context) - McCabe, Objects - 1988
4 Object Calculi with Override (context) - Abadi, Cardelli - 1993
4 Fifth International Conference Symposium on Logic Programmin.. (context) - Nadathur, Miller et al. - 1988
2 Linear Logic Programming as a Unifying Framework for Concurr.. (context) - Kobayashi, Yonezawa - 1992
2 Conditional Rewriting Logic (context) - Meseguer - 1993 ACM
The graph only includes citing articles where the year of publication is known.
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