A KERNEL LANGUAGE FOR ALGEBRAIC SPECIFICATION AND IMPLEMENTATION

被引：0

作者：

SANNELLA, D ^{[1
]}

WIRSING, M ^{[1
]}

机构：

[1] UNIV PASSAU,FAK INFORMAT,PASSAU,FED REP GER

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1983年 / 158卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：413 / 427

页数：15

共 50 条

[21] SYSTEM DESCRIPTION OF LAMBDALG - A HIGHER-ORDER ALGEBRAIC SPECIFICATION LANGUAGE
GUI, YX
OKADA, M
LOGIC PROGRAMMING AND AUTOMATED REASONING, 1993, 698 : 354 - 356
[22] STRUCTURING AND MODULARIZING ALGEBRAIC SPECIFICATIONS - THE PLUSS SPECIFICATION LANGUAGE, EVOLUTIONS AND PERSPECTIVES
GAUDEL, MC
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 577 : 3 - 18
[23] IMPLEMENTING HIGHER-ORDER FUNCTIONS IN AN ALGEBRAIC SPECIFICATION LANGUAGE WITH NARROWING
REUS, B
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 631 : 483 - 484
[24] CASL-CHART: A combination of statecharts and of the algebraic specification language CASL
Reggio, G
Repetto, L
ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2000, 1816 : 243 - 257
[25] SPECIFICATION OF SCHEDULERS WITH ALGEBRAIC SPECIFICATION TECHNIQUES
WADA, K
HAGIHARA, K
ARAKI, T
TOKURA, N
LECTURE NOTES IN COMPUTER SCIENCE, 1982, 143 : 42 - 62
[26] Abstract Implementation of Algebraic Specifications in a Temporal Logic Language
林惠民
龚淳
谢洪亮
JournalofComputerScienceandTechnology, 1991, (01) : 11 - 20
[27] Algebraic specification of documents
Ramalho, JC
Almeida, JJ
Henriques, P
THEORETICAL COMPUTER SCIENCE, 1998, 199 (1-2) : 231 - 247
[28] ALGEBRAIC SPECIFICATION OF CONCURRENCY
ASTESIANO, E
REGGIO, G
LECTURE NOTES IN COMPUTER SCIENCE, 1993, 655 : 1 - 39
[29] The design and implementation of the GILENA natural language interfaces specification system
Atkinson-Abutridy, JA
Ferreira-Cabrera, AA
ACM SIGPLAN NOTICES, 1998, 33 (09) : 108 - 117
[30] HOW TO MAKE ALGEBRAIC SPECIFICATIONS MORE UNDERSTANDABLE - AN EXPERIMENT WITH THE PLUSS SPECIFICATION LANGUAGE
BIDOIT, M
GAUDEL, MC
MAUBOUSSIN, A
SCIENCE OF COMPUTER PROGRAMMING, 1989, 12 (01) : 1 - 38

← 1 2 3 4 5 →