Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics [Extended Abstract]

Dan Dougherty 1 Pierre Lescanne 2, 3 Luigi Liquori 4, 5 Frédéric Lang 6
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
6 VASY - System validation - Research and applications
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : We present a formalism called Addressed Term Rewriting Systems, which can be used to define the operational semantics of programming languages, especially those involving sharing, recursive computations and cyclic data structures. Addressed Term Rewriting Systems are therefore well suited for describing object-based languages, as for instance the family of languages called λObj^a, involving both functional and object-based features.
Type de document :
Communication dans un congrès
Elsevier. Proceedings of the 2nd International Workshop on Term Graph Rewriting (TERMGRAPH 2004), Oct 2004, Rome, Italy. Elsevier, Electronic Notes in Theoretical Computer Science, 127 (Issue 5), pp.57-82, 2005, 〈10.1016/j.entcs.2004.12.042〉
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01149607
Contributeur : Luigi Liquori <>
Soumis le : mercredi 13 mai 2015 - 12:43:51
Dernière modification le : vendredi 20 avril 2018 - 15:44:25
Document(s) archivé(s) le : mercredi 19 avril 2017 - 19:00:17

Fichier

2005-termgraph-04.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Dan Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang. Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics [Extended Abstract]. Elsevier. Proceedings of the 2nd International Workshop on Term Graph Rewriting (TERMGRAPH 2004), Oct 2004, Rome, Italy. Elsevier, Electronic Notes in Theoretical Computer Science, 127 (Issue 5), pp.57-82, 2005, 〈10.1016/j.entcs.2004.12.042〉. 〈hal-01149607〉

Partager

Métriques

Consultations de la notice

487

Téléchargements de fichiers

69