Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics [Extended Abstract] - Archive ouverte HAL Access content directly
Conference Papers Year : 2005

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

(1) , (2, 3) , (4, 5) , (6)
1
2
3
4
5
6

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.
Fichier principal
Vignette du fichier
2005-termgraph-04.pdf (508.55 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01149607 , version 1 (13-05-2015)

Identifiers

Cite

Dan Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang. Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics [Extended Abstract]. Proceedings of the 2nd International Workshop on Term Graph Rewriting (TERMGRAPH 2004), Oct 2004, Rome, Italy. pp.57-82, ⟨10.1016/j.entcs.2004.12.042⟩. ⟨hal-01149607⟩
463 View
138 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More