Skip to Main content Skip to Navigation
Reports

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 metadatas

https://hal.inria.fr/inria-00072039
Contributor : Rapport de Recherche Inria <>
Submitted on : Tuesday, May 23, 2006 - 7:37:03 PM
Last modification on : Thursday, November 19, 2020 - 1:00:31 PM
Long-term archiving on: : Sunday, April 4, 2010 - 10:50:16 PM

Identifiers

  • HAL Id : inria-00072039, version 1

Collections

Relations

Citation

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⟩

Share

Metrics

Record views

695

Files downloads

146