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 条

[31] Investigations of the Syntax-Semantics-Pragmatics Interface
Horvat, Anita Skelin
SUVREMENA LINGVISTIKA, 2010, 36 (69): : 117 - 121
[32] Decidable call by need computations in term rewriting (extended abstract)
Durand, I
Middeldorp, A
AUTOMATED DEDUCTION - CADE-14, 1997, 1249 : 4 - 18
[33] Abstract syntax and semantics of visual languages
Erwig, M
JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 1998, 9 (05): : 461 - 483
[34] Semantics and strong sequentiality of priority term rewriting systems
Sakai, M
Toyama, Y
REWRITING TECHNIQUES AND APPLICATIONS, 1996, 1103 : 377 - 391
[35] Semantics and strong sequentiality of priority term rewriting systems
Graduate School of Engineering, Nagoya University, Furo-cho, Chikusa, Nagoya 464-01, Japan
不详
Theor Comput Sci, 1-2 (87-110):
[36] Towards a Semantics for Hybrid ASP Systems: Extended Abstract
Cabalar, Pedro
Fandinno, Jorge
Schaub, Torsten
Wanko, Philipp
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (345): : 48 - 51
[37] Semantics and strong sequentiality of priority term rewriting systems
Sakai, M
Toyama, Y
THEORETICAL COMPUTER SCIENCE, 1998, 208 (1-2) : 87 - 110
[38] ALGEBRAIC SEMANTICS AND COMPLEXITY OF TERM REWRITING-SYSTEMS
NAOI, T
INAGAKI, Y
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 355 : 311 - 325
[39] INTERIOR MONOLOGUE NARRATIVE - ITS SYNTAX, SEMANTICS AND PRAGMATICS
FRANCOEUR, L
ETUDES LITTERAIRES, 1976, 9 (02): : 341 - 365
[40] SYNTAX AND SEMANTICS, VOL 9 - PRAGMATICS - COLE,P
MORAVCSIK, EA
GENERAL LINGUISTICS, 1981, 21 (01): : 62 - 77

← 1 2 3 4 5 →