A Generic Object-Calculus Based on Addressed Term Rewriting Systems

Daniel J. Dougherty 1 Frederic Lang 2 Pierre Lescanne 3 Luigi Liquori 4, 5 Kristoffer Rose 6
2 VASY - System validation - Research and applications
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
4 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 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.
Type de document :
Communication dans un congrès
Proceedings of the Fourth Workshop on Explicit Substitutions Theory and Applications (WESTAPP '01), May 2001, Utrecht, Netherlands. University of Utrecht, Institute of Philosophy, Logic Group Preprint series, pp.6-25, Logic Group Preprint series
Liste complète des métadonnées

https://hal.inria.fr/hal-01152576
Contributeur : Luigi Liquori <>
Soumis le : lundi 18 mai 2015 - 11:39:55
Dernière modification le : mardi 16 janvier 2018 - 16:25:57
Document(s) archivé(s) le : jeudi 20 avril 2017 - 01:00:22

Fichier

2001-westapp-01.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01152576, version 1

Relations

Citation

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. University of Utrecht, Institute of Philosophy, Logic Group Preprint series, pp.6-25, Logic Group Preprint series. 〈hal-01152576〉

Partager

Métriques

Consultations de la notice

299

Téléchargements de fichiers

44