A Generic Object-Calculus Based on Addressed Term Rewriting Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2002

A Generic Object-Calculus Based on Addressed Term Rewriting Systems

Résumé

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.
Fichier principal
Vignette du fichier
RR-4549.pdf (471.02 Ko) Télécharger le fichier

Dates et versions

inria-00072039 , version 1 (23-05-2006)

Identifiants

  • HAL Id : inria-00072039 , version 1

Citer

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⟩

Relations

317 Consultations
88 Téléchargements

Partager

Gmail Facebook X LinkedIn More