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 条

[41] An innovative educational enviroment for the interactive learning of data stucturesS: From Algebraic Specification to Implementation
Dpto. de Sistemas Informdticos y Programacion, Universidad Complutense de Madrid, Spain
CSEDU - Proc. Int. Conf. Comput. Supported Educ., (27-32):
[42] Object-oriented software specification in programming language design and implementation
Bryant, BR
Vaidyanathan, V
TWENTY-SECOND ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE - PROCEEDINGS, 1998, : 387 - 392
[43] Intertwining Implementation with the RealSpec Executable Real-Time Specification Language
Khwaja, Amir A.
Urban, Joseph E.
22ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING & KNOWLEDGE ENGINEERING (SEKE 2010), 2010, : 649 - 652
[44] Algebraic Specification of Plausible Reasoning
Efimova, E.A.
Automatic Documentation and Mathematical Linguistics, 2024, 58 (05) : 364 - 374
[45] ALGEBRAIC SPECIFICATION OF A COMMUNICATION SCHEDULER
JOSEPH, M
MOITRA, A
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 186 : 356 - 370
[46] Specification languages in algebraic compilers
Van Wyk, E
THEORETICAL COMPUTER SCIENCE, 2003, 291 (03) : 351 - 385
[47] Thirty years of algebraic specification
Orejas, F
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2006, 67 (1-2): : 1 - 2
[48] Algebraic specification of agent computation
David Kinny
Applicable Algebra in Engineering, Communication and Computing, 2005, 16 : 77 - 111
[49] ALGEBRAIC SPECIFICATION OF CONCURRENT SYSTEMS
KAPLAN, S
THEORETICAL COMPUTER SCIENCE, 1989, 69 (01) : 69 - 115
[50] Algebraic specification of agent computation
Kinny, D
APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING, 2005, 16 (2-3) : 77 - 111

← 1 2 3 4 5 →