HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

A Generic Object-Calculus Based on Addressed Term Rewriting Systems

Dan Dougherty 1 Frédéric Lang 2 Pierre Lescanne 3 Luigi Liquori 4, 5, 3 Kristoffer Rose 6
2 VASY - System validation - Research and applications
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
5 MIRHO - Objects, types and prototypes : semantics and validation
CRISAM - Inria Sophia Antipolis - Méditerranée , UHP - Université Henri Poincaré - Nancy 1, Université Nancy 2, INPL - Institut National Polytechnique de Lorraine, CNRS - Centre National de la Recherche Scientifique : UMR7503
Abstract : We describe the foundations of Obj^+a, a framework, or generic calculus, for modeling object-oriented programming languages. This framework provides a setting for a formal operational semantics of object based languages, in the style of the Lambda Calculus of Objects of Fisher, Honsell, and Mitchell. As a formalism for specification, is arranged in modules, permitting a natural classification of many object-based calculi according to their features. In particular, there are modules for calculi of non-mutable objects (ie, functional object-calculi) and for calculi of mutable objects (ie, imperative object-calculi). As a computational formalism, Obj^+a is based on rewriting rules. However, classical first-order term rewriting systems are not appropriate to reflect aspects of implementation practice such as sharing, cycles in data structures and mutation. Therefore we define the notion of addressed terms, and develop the corresponding notion of addressed term rewriting.
Complete list of metadata

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Tuesday, May 23, 2006 - 7:37:03 PM
Last modification on : Friday, February 4, 2022 - 3:24:10 AM
Long-term archiving on: : Sunday, April 4, 2010 - 10:50:16 PM


  • HAL Id : inria-00072039, version 1



Dan Dougherty, Frédéric Lang, Pierre Lescanne, Luigi Liquori, Kristoffer Rose. A Generic Object-Calculus Based on Addressed Term Rewriting Systems. [Research Report] RR-4549, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy; INRIA. 2002, pp.49. ⟨inria-00072039⟩



Record views


Files downloads