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
Communication Dans Un Congrès Année : 2001

A Generic Object-Calculus Based on Addressed Term Rewriting Systems

Résumé

We describe the foundations of LamObj^a, a framework, or generic calculus, for modeling object-calculi. This framework is essentially a detailed formal operational semantics of object-based languages, in the style of the Lambda Calculus of Objects. As a formalism for specification LamObj^a 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 (i.e., functional object-calculi) and for calculi of mutable objects (i.e., imperative object-calculi). As a computational formalism LamObj^a is based on rewriting rules. Classical first-order term rewriting systems are not appropriate since we want 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 addresed term rewriting.
Fichier principal
Vignette du fichier
2001-westapp-01.pdf (25.41 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01152576 , version 1 (18-05-2015)

Identifiants

  • HAL Id : hal-01152576 , version 1

Citer

Daniel J. Dougherty, Frederic Lang, Pierre Lescanne, Luigi Liquori, Kristoffer Rose. A Generic Object-Calculus Based on Addressed Term Rewriting Systems. Proceedings of the Fourth Workshop on Explicit Substitutions Theory and Applications (WESTAPP '01), May 2001, Utrecht, Netherlands. pp.6-25. ⟨hal-01152576⟩
402 Consultations
26 Téléchargements

Partager

Gmail Facebook X LinkedIn More