STRUCTURED ALGEBRAIC SPECIFICATIONS - A KERNEL LANGUAGE

被引：46

|

作者：

WIRSING, M

机构：

[1] Univ Passau, Passau, West Ger, Univ Passau, Passau, West Ger

来源：

THEORETICAL COMPUTER SCIENCE | 1986年 / 42卷 / 02期

关键词：

D O I：

10.1016/0304-3975(86)90051-4

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

112

引用

收藏

页码：123 / 249

页数：127

相关论文

共 50 条

[31] Refinement of parameterized algebraic specifications
Srinivas, YV
ALGORITHMIC LANGUAGES AND CALCULI, 1997, : 164 - 186
[32] BOUNDED IMPLEMENTATION OF ALGEBRAIC SPECIFICATIONS
BREU, M
LECTURE NOTES IN COMPUTER SCIENCE, 1993, 655 : 181 - 198
[33] HYBRID IMPLEMENTATIONS OF ALGEBRAIC SPECIFICATIONS
WALTERS, HR
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 463 : 40 - 54
[34] THE USE OF SORTS IN ALGEBRAIC SPECIFICATIONS
MOSSES, PD
LECTURE NOTES IN COMPUTER SCIENCE, 1993, 655 : 66 - 91
[35] Parameterising (algebraic) specifications on diagrams
Dimitrakos, T
13TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 1998, : 221 - 224
[36] IMPLEMENTATION OF MODULAR ALGEBRAIC SPECIFICATIONS
VANDIEPEN, NWP
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 300 : 64 - 78
[37] ALGEBRAIC SPECIFICATIONS FOR DOMAIN THEORY
NICKL, F
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 349 : 360 - 374
[38] PETRI NETS AND ALGEBRAIC SPECIFICATIONS
REISIG, W
THEORETICAL COMPUTER SCIENCE, 1991, 80 (01) : 1 - 34
[39] A TEMPORAL APPROACH TO ALGEBRAIC SPECIFICATIONS
FENG, YL
LIU, JB
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 458 : 216 - 229
[40] Randomness, computability, and algebraic specifications
Khoussainov, B
ANNALS OF PURE AND APPLIED LOGIC, 1998, 91 (01) : 1 - 15

← 1 2 3 4 5 →