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 条

[41] Randomness, computability, and algebraic specifications
Khoussainov, B
ANNALS OF PURE AND APPLIED LOGIC, 1998, 91 (01) : 1 - 15
[42] Language specifications
Brumar, Cristina Ioana
Popa, Emil Marin
3RD INT CONF ON CYBERNETICS AND INFORMATION TECHNOLOGIES, SYSTEMS, AND APPLICAT/4TH INT CONF ON COMPUTING, COMMUNICATIONS AND CONTROL TECHNOLOGIES, VOL 3, 2006, : 170 - +
[43] PARALLEL SYSTEMS SPECIFICATIONS WITH COLORED PETRI NETS AND ALGEBRAIC SPECIFICATIONS
VAUTHERIN, J
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 266 : 293 - 308
[44] CONCURRENT REFINEMENT OF STRUCTURED OBJECTS - A LANGUAGE FOR DISTRIBUTED KNOWLEDGE PROGRAMMING USING SPECIFICATIONS AND ANNOTATIONS
BARBUCEANU, M
TRAUSANMATU, S
MOLNAR, B
RESEARCH AND DEVELOPMENT IN EXPERT SYSTEMS VI, 1989, : 235 - 239
[45] On the existence of translations of structured specifications
Diaconescu, Razvan
INFORMATION PROCESSING LETTERS, 2015, 115 (01) : 15 - 22
[46] Categorical foundations for structured specifications in
Castro, Pablo F.
Aguirre, Nazareno
Pombo, Carlos L.
Maibaum, T. S. E.
FORMAL ASPECTS OF COMPUTING, 2015, 27 (5-6) : 831 - 865
[47] Parameterisation for abstract structured specifications
Tutu, Lonut
THEORETICAL COMPUTER SCIENCE, 2014, 517 : 102 - 142
[48] Logical systems for structured specifications
Borzyszkowski, T
THEORETICAL COMPUTER SCIENCE, 2002, 286 (02) : 197 - 245
[49] ALGEBRAIC AND OPERATIONAL SEMANTICS OF POSITIVE NEGATIVE CONDITIONAL ALGEBRAIC SPECIFICATIONS
KAPLAN, S
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 338 : 419 - 434
[50] Hierarchical directed acyclic graph kernel: Methods for structured natural language data
Suzuki, J
Hirao, T
Sasaki, Y
Maeda, E
41ST ANNUAL MEETING OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS, PROCEEDINGS OF THE CONFERENCE, 2003, : 32 - 39

← 1 2 3 4 5 →