Term rewriting systems for modular algebraic specification languages

被引：0

|

作者：

Nakamura, Masaki ^{[1
]}

Futatsugi, Kokichi ^{[1
]}

机构：

[1] School of Information Science, Japan Advanced Institute of Science and Technology

来源：

Computer Software | 2006年 / 23卷 / 03期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

页码：35 / 50

相关论文

共 50 条

[1] ALGEBRAIC LANGUAGES AND SYSTEMS OF RATIONAL REWRITING
CHOTTIN, L
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1982, 16 (02): : 93 - 112
[2] Supervisory control of modular systems with global specification languages
Komenda, J.
van Schuppen, J. H.
Gaudin, B.
Marchand, H.
AUTOMATICA, 2008, 44 (04) : 1127 - 1134
[3] Modular properties of composable term rewriting systems
Ohlebusch, E
JOURNAL OF SYMBOLIC COMPUTATION, 1995, 20 (01) : 1 - 41
[4] MODULAR TERM REWRITING-SYSTEMS AND THE TERMINATION
KURIHARA, M
KAJI, I
INFORMATION PROCESSING LETTERS, 1990, 34 (01) : 1 - 4
[5] Modular Properties of Composable Term Rewriting Systems
J Symb Comput, 1 (01):
[6] Specification languages in algebraic compilers
Van Wyk, E
THEORETICAL COMPUTER SCIENCE, 2003, 291 (03) : 351 - 385
[7] SPECIFICATION OF REDUCTION STRATEGIES IN TERM REWRITING-SYSTEMS
VANEEKELEN, MCJD
PLASMEIJER, MJ
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 279 : 215 - 239
[8] Modular rewriting semantics of programming languages
Meseguer, J
Braga, C
ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS, 2004, 3116 : 364 - 378
[9] ALGEBRAIC SEMANTICS AND COMPLEXITY OF TERM REWRITING-SYSTEMS
NAOI, T
INAGAKI, Y
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 355 : 311 - 325
[10] Modular Termination for Weak Overlapping Term Rewriting Systems
Graziani, M.
Venturini Zilli, M.
Bulletin of the European Association for Theoretical Computer Science, 1994, (53):

← 1 2 3 4 5 →