TRSPEC - A TERM REWRITING BASED SYSTEM FOR ALGEBRAIC SPECIFICATIONS

被引：0

|

作者：

AVENHAUS, J

BENNINGHOFEN, B

GOBEL, R

MADLENER, K

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1986年 / 230卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：665 / 667

页数：3

相关论文

共 50 条

[1] 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
[2] NONDETERMINISTIC ALGEBRAIC SPECIFICATIONS AND NONCONFLUENT TERM REWRITING
HUSSMANN, H
JOURNAL OF LOGIC PROGRAMMING, 1992, 12 (03): : 237 - 255
[3] NONDETERMINISTIC ALGEBRAIC SPECIFICATIONS AND NONCONFLUENT TERM REWRITING
HUSSMANN, H
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 343 : 31 - 40
[4] Manipulating algebraic specifications with term-based and graph-based representations
Moreira, AM
Ringeissen, C
Déharbe, D
Lima, G
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2004, 59 (1-2): : 63 - 87
[5] A PROOF SYSTEM FOR CONDITIONAL ALGEBRAIC SPECIFICATIONS
KOUNALIS, E
RUSINOWITCH, M
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 516 : 51 - 63
[6] Term rewriting systems for modular algebraic specification languages
Nakamura, Masaki
Futatsugi, Kokichi
Computer Software, 2006, 23 (03) : 35 - 50
[7] ALGEBRAIC SEMANTICS AND COMPLEXITY OF TERM REWRITING-SYSTEMS
NAOI, T
INAGAKI, Y
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 355 : 311 - 325
[8] RAPT: A program transformation system based on term rewriting
Chiba, Yuki
Aoto, Takahito
TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2006, 4098 : 267 - 276
[9] A TERM REWRITING AND NARROWING SYSTEM
BACHMANN, P
DRESCHER, T
NIEKE, S
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 577 : 619 - 620
[10] Equational specifications, complete term rewriting systems, and computable and semicomputable algebras
1600, (42):

← 1 2 3 4 5 →