Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics Extended AbstractReportar como inadecuado




Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics Extended Abstract - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 WPI CS - Department of Computer Science 2 ENS Lyon - École normale supérieure - Lyon 3 LIP - Laboratoire de l-Informatique du Parallélisme 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 5 LOGNET - Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems CRISAM - Inria Sophia Antipolis - Méditerranée 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.

Keywords : Object Calculi Lambda Calculi Graph Rewriting Term Rewriting System





Autor: Dan Dougherty - Pierre Lescanne - Luigi Liquori - Frédéric Lang -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados