Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract |
| |
Authors: | Dan Dougherty Pierre Lescanne Luigi Liquori Frdric Lang |
| |
Affiliation: | Worcester Polytechnic Institute, Worcester, MA, U.S.A.;École Normale Supérieure, Lyon, France;INRIA Sophia Antipolis, France;INRIA Rhone-Alpes, France |
| |
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 , involving both functional and object-based features. |
| |
Keywords: | Term Rewriting System Graph Rewriting Lambda Calculi Object Calculi |
本文献已被 ScienceDirect 等数据库收录! |
|