Frédéric Lang, Pierre Lescanne, Luigi Liquori  Home/Search
Context Related
| loria.fr/~lliquori/PAPERS...fm99.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: Frederic Lang, Pierre Lescanne, and Luigi Liquori Ecole Normale Superieure de Lyon Laboratoire de l'Informatique du Parallelisme 46, Allee d'Italie, F--69364 Lyon Cedex 07, FRANCE E-mail: fflang,plescann,lliquorig@ens-lyon.fr Abstract. In this paper, we give a general framework for the foundation of an operational (small step) semantics of object-based languages with an emphasis on functional and imperative issues. The framework allows classifying very naturally many object-based... (Update)
Context of citations to this paper: More
...Section 7 compares our framework with some related works. A richer version of this paper (containing some open problems) can be found in [14]. 2 The Context of Obj a The framework Obj a is founded on an object based calculus, enriched with explicit substitution and...
Cited by: More
Foundations for Extensible Objects with Roles - Giorgio Ghelli Dipartimento (1999) (Correct)
A Framework for Defining Object-Calculi - Lang, Lescanne, Liquori (1999) (Correct)
Similar documents (at the sentence level):
14.7%: A Framework for Defining Object-Calculi (Extended Abstract) - Lang, al. (1998) (Correct)
Active bibliography (related documents): More All
0.5: A Generic Object-Calculus Based on Addressed Term.. - Dougherty, Lang.. (1999) (Correct)
0.2: Addressed Term Rewriting Systems - Lang, Dougherty, Lescanne, Rose (1999) (Correct)
0.2: Certified Reasoning on Real Numbers and Objects in.. - Ciaffaglione (Correct)
Similar documents based on text: More All
0.2: Cv - Liquori (Correct)
0.1: λν, a Calculus of Explicit Substitutions .. - Benaissa, Briaud, .. (1993) (Correct)
0.1: Modeling Sharing and Recursion for Weak Reduction.. - Zine-El-Abidine.. (1996) (Correct)
Related documents from co-citation: More All
2: A lambda calculus of objects and method specialization - Fisher, Honsell et al. - 1994
2: Springer-Verlag (context) - Abadi, Cardelli et al. - 1996
2: A lambda calculus of objects with self-inflicted extension - Di Gianantonio, Honsell et al. - 1998
BibTeX entry: (Update)
F. Lang, P. Lescanne, and L. Liquori. A framework for defining object calculi. Research Report RR http://citeseer.ist.psu.edu/lang99framework.html More
@inproceedings{ lang99framework,
author = "Frric Lang and Pierre Lescanne and Luigi Liquori",
title = "A Framework for Defining Object-Calculi",
booktitle = "World Congress on Formal Methods (2)",
pages = "963-982",
year = "1999",
url = "citeseer.ist.psu.edu/lang99framework.html" }
Citations (may not include all citations):746 The Java Virtual Machine specification (context) - Lindholm, Yellin - 1996
306 Self: the power of simplicity (context) - Ungar, Smith
306 A syntactic approach to type soundness - Wright, Felleisen - 1994
264 A language with distributed scope - Cardelli - 1995
174 Springer-Verlag (context) - Abadi, Cardelli et al. - 1996
143 A new implementation technique for applicative languages (context) - Turner - 1979
138 Type inference for polymorphic references (context) - Tofte - 1990
138 The revised report on the syntactic theories of sequential c.. - Felleisen, Hieb - 1992
137 Journal of Functional Programming (context) - Abadi, Cardelli et al. - 1991
72 Semantics and pragmatics of the lambda calculus (context) - Wadsworth - 1971
68 Confluence properties of weak and strong calculi of explicit.. - Curien, Hardin et al. - 1996
63 A lambda calculus of objects and method specialization - Fisher, Honsell et al. - 1994
50 Department of Computer Science and Engineering (context) - Chambers, language et al. - 1993
35 a journey through calculi of explicit substitutions - Lescanne, to - 1994
21 Operational reduction models for functional programming lang.. - Rose - 1996
19 Modeling sharing and recursion for weak reduction strategies.. - -A, Rose et al. - 1996
18 a non strict purely functional language (context) - Peterson, Hammond et al. - 1997
8 Les calculs de substitutions explicites comme fondement de l.. (context) - -A - 1997
6 a prototype-based object-oriented language based on concaten.. (context) - Tailvalsaari - 1992
5 An imperative first-order calculus with object extension - Bono, Fisher - 1998
4 A lambda calculus of objects with self-inflicted extension - Di Gianantonio, Honsell et al. - 1998
2 A framework for defining object calculi - Lang, Lescanne et al.
1 Addressed term rewriting systems - Lang, Dougherty et al.
1 Modeles de la -reduction pour les implantations (context) - Lang - 1998
Documents on the same site (http://www.loria.fr/~lliquori/pub.html): More
Dealing with Explicit Exceptions in Prolog - Liquori, Sapino (Correct)
Subtyping Constraints for Incomplete Objects.. - Bono, Bugliesi.. (Correct)
An Extended Theory of Primitive Objects: First Order System - Liquori (1997) (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