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

被引：4

作者：

Dougherty, Dan ^{[1
]}

Lescanne, Pierre ^{[2
]}

Liquori, Luigi ^{[3
]}

Lang, Frederic ^{[4
]}

机构：

[1] Worcester Polytech Inst, Worcester, MA 01609 USA

[2] Ecole Normale Super, Lyon, France

[3] INRIA Sophia Antipolis, Valbonne, France

[4] INRIA Rhone Alpes, Villeurbanne, France

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2005年 / 127卷 / 05期

关键词：

Term Rewriting System; Graph Rewriting; Lambda Calculi; Object Calculi;

D O I：

10.1016/j.entcs.2004.12.042

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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 lambda Obj(a), involving both functional and object-based features.

引用

页码：57 / 82

页数：26

共 50 条

[1] SYNTAX, SEMANTICS, PRAGMATICS
GRANGER, GG
REVUE INTERNATIONALE DE PHILOSOPHIE, 1976, 30 (117-) : 376 - 410
[2] A Rewriting Logic Approach to Operational Semantics (Extended Abstract)
Serbanuta, Traian Florin
Rosu, Grigore
Meseguer, Jose
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 192 (01) : 125 - 141
[3] Formal Semantics, Pragmatics and Syntax
Lopes, Ruth
Lagazzi, Suzy
CADERNOS DE ESTUDOS LINGUISTICOS, 2020, 62
[4] Convergence in Infinitary Term Graph Rewriting Systems is Simple (Extended Abstract)
Bahr, Patrick
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (110): : 17 - 28
[5] Formal Semantics, Pragmatics and Syntax
Conde, Dirceu Cleber
Basso, Renato Miguel
CADERNOS DE ESTUDOS LINGUISTICOS, 2020, 62
[6] Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding
Hamana, Makoto
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2022, 32 (04) : 542 - 573
[7] Dissertation Abstract: The Syntax, Semantics and Pragmatics of Japanese Addressee-Honorific Markers
Yamada, Akitaka
KUNSTLICHE INTELLIGENZ, 2021, 35 (3-4): : 385 - 389
[8] Dissertation Abstract: The Syntax, Semantics and Pragmatics of Japanese Addressee-Honorific Markers
Akitaka Yamada
KI - Künstliche Intelligenz, 2021, 35 : 385 - 389
[9] The syntax, semantics and pragmatics of Spanish mood
Nuessel, F
LINGUA, 2004, 114 (08) : 1063 - 1069
[10] IRONIC UTTERANCES, SYNTAX, SEMANTICS AND PRAGMATICS
OOMEN, U
ZEITSCHRIFT FUR GERMANISTISCHE LINGUISTIK, 1983, 11 (01): : 22 - 38

← 1 2 3 4 5 →