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] MODAL LOGIC AND ALGEBRAIC SPECIFICATIONS
MOSS, LS
THATTE, SR
THEORETICAL COMPUTER SCIENCE, 1993, 111 (1-2) : 191 - 210
[33] EXCEPTIONS FOR ALGEBRAIC SPECIFICATIONS - ON THE MEANING OF BUT
SCHOBBENS, PY
SCIENCE OF COMPUTER PROGRAMMING, 1993, 20 (1-2) : 73 - 111
[34] BOUNDED IMPLEMENTATION OF ALGEBRAIC SPECIFICATIONS
BREU, M
LECTURE NOTES IN COMPUTER SCIENCE, 1993, 655 : 181 - 198
[35] THE USE OF SORTS IN ALGEBRAIC SPECIFICATIONS
MOSSES, PD
LECTURE NOTES IN COMPUTER SCIENCE, 1993, 655 : 66 - 91
[36] HYBRID IMPLEMENTATIONS OF ALGEBRAIC SPECIFICATIONS
WALTERS, HR
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 463 : 40 - 54
[37] Parameterising (algebraic) specifications on diagrams
Dimitrakos, T
13TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 1998, : 221 - 224
[38] IMPLEMENTATION OF MODULAR ALGEBRAIC SPECIFICATIONS
VANDIEPEN, NWP
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 300 : 64 - 78
[39] A TEMPORAL APPROACH TO ALGEBRAIC SPECIFICATIONS
FENG, YL
LIU, JB
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 458 : 216 - 229
[40] Visual construction of algebraic specifications
Neary, DS
Woodward, MR
2000 IEEE INTERNATIONAL SYMPOSIUM ON VISUAL LANGUAGES, PROCEEDINGS, 2000, : 79 - 80

← 1 2 3 4 5 →