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 条

[41] DECISION-PROBLEMS FOR TERM REWRITING-SYSTEMS AND RECOGNIZABLE TREE-LANGUAGES
GILLERON, R
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 480 : 148 - 159
[42] Natural rewriting for general term rewriting systems
Escobar, S
Meseguer, J
Thati, P
LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2005, 3573 : 101 - 116
[43] Generation of languages by rewriting systems that resemble automata
Krivka, Zbynek
Meduna, Alexander
Schonecker, Rudolf
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2006, 17 (05) : 1223 - 1229
[44] AN ALGEBRAIC STRUCTURE FOR DERIVATIONS IN REWRITING-SYSTEMS
VELINOV, Y
THEORETICAL COMPUTER SCIENCE, 1988, 57 (2-3) : 205 - 224
[45] ON THE PARAMETERIZED ALGEBRAIC SPECIFICATION OF CONCURRENT SYSTEMS
ASTESIANO, E
MASCARI, GF
REGGIO, G
WIRSING, M
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 185 : 342 - 358
[46] On the Algebraic Specification and Verification of Parallel Systems
Triantafyllou, Nikolaos
Ksystra, Katerina
Stefaneas, Petros
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: SPECIALIZED TECHNIQUES AND APPLICATIONS, PT II, 2014, 8803 : 623 - 624
[47] Term graph rewriting and mobile expressions in functional languages
Plasmeijer, R
van Eekelen, M
APPLICATIONS OF GRAPH TRANSFORMATIONS WITH INDUSTRIAL RELEVANCE, PROCEEDINGS, 2000, 1779 : 1 - 13
[48] TRSPEC - A TERM REWRITING BASED SYSTEM FOR ALGEBRAIC SPECIFICATIONS
AVENHAUS, J
BENNINGHOFEN, B
GOBEL, R
MADLENER, K
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 665 - 667
[49] TRSPEC - A TERM REWRITING BASED SYSTEM FOR ALGEBRAIC SPECIFICATIONS
AVENHAUS, J
GOBEL, R
GRAMLICH, B
MADLENER, K
STEINBACH, J
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 308 : 245 - 248
[50] Languages, rewriting systems, and verification of infinite-state systems
Bouajjani, A
AUTOMATA LANGUAGES AND PROGRAMMING, PROCEEDING, 2001, 2076 : 24 - 39

← 1 2 3 4 5 →