Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10328917 | Electronic Notes in Theoretical Computer Science | 2005 | 26 Pages |
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 λOba, involving both functional and object-based features.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Dan Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang,