FORMAL SPECIFICATION OF GRAPHIC DATA-TYPES

被引：14

|

作者：

MALLGREN, WR ^{[1
]}

机构：

[1] UNIV WASHINGTON,SEATTLE,WA 98195

来源：

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1982年 / 4卷 / 04期

关键词：

D O I：

10.1145/69622.357191

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：687 / 710

页数：24

相关论文

共 50 条

[21] INTEGRATING LOGIC PROGRAMMING AND EQUATIONAL SPECIFICATION OF ABSTRACT DATA-TYPES
BEIERLE, C
PLETAT, U
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 343 : 71 - 82
[22] AN INTEGRATED ALGEBRAIC APPROACH TO THE SPECIFICATION OF DATA-TYPES, PROCESSES AND OBJECTS
ASTESIANO, E
GIOVINI, A
REGGIO, G
ZUCCA, E
ALGEBRAIC METHODS : THEORY, TOOLS AND APPLICATIONS, 1989, 394 : 91 - 116
[23] AN INTEGRATED ALGEBRAIC APPROACH TO THE SPECIFICATION OF DATA-TYPES, PROCESSES AND OBJECTS
ASTESIANO, E
GIOVINI, A
REGGIO, G
ZUCCA, E
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 394 : 91 - 116
[24] ACCE-SPECIFICATIONS - A FORMAL METHOD TO DEFINE DATA-TYPES
GREITER, G
SIGPLAN NOTICES, 1984, 19 (10): : 22 - 31
[25] METHODICAL SPECIFICATION OF ABSTRACT DATA-TYPES VIA REWRITING-SYSTEMS
VELOSO, PAS
INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES, 1982, 11 (05): : 295 - 323
[26] SPECIFICATION AND VERIFICATION OF TCSP SYSTEMS BY MEANS OF PARTIAL ABSTRACT DATA-TYPES
PENA, R
ALONSO, LM
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 352 : 328 - 344
[27] SEMI-CONSTRUCTIVE FORMAL SYSTEMS AND AXIOMATIZATION OF ABSTRACT DATA-TYPES
MIGLIOLI, P
MOSCATO, U
ORNAGHI, M
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 351 : 337 - 351
[28] CONTINUOUS DATA-TYPES
LEVY, MR
MAIBAUM, TSE
SIAM JOURNAL ON COMPUTING, 1982, 11 (02) : 201 - 216
[29] ON THE REPRESENTATION OF DATA-TYPES
OREJAS, F
LECTURE NOTES IN COMPUTER SCIENCE, 1981, 107 : 419 - 431
[30] DIMENSIONAL DATA-TYPES
JONES, DW
DR DOBBS JOURNAL, 1987, 12 (05): : 50 - &

← 1 2 3 4 5 →