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 条

[1] SPECIFICATION BY DATA-TYPES
ANAIRCHINNIGH, MM
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 252 : 362 - 388
[2] SPECIFICATION OF PARAMETRIC DATA-TYPES
BENECKE, K
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1983, 29 (01): : 83 - 96
[3] FINAL DATA-TYPES AND THEIR SPECIFICATION
KAMIN, S
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1983, 5 (01): : 97 - 121
[4] SPECIFICATION AND IMPLEMENTATION OF ABSTRACT DATA-TYPES
BERZTISS, AT
THATTE, S
ADVANCES IN COMPUTERS, 1983, 22 : 295 - 353
[5] THE ALGEBRAIC SPECIFICATION OF SEMICOMPUTABLE DATA-TYPES
VRANCKEN, JLM
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 332 : 249 - 259
[6] A RELATIONAL MODEL FOR THE SPECIFICATION OF DATA-TYPES
BOUDRIGA, N
MILI, A
ZALILA, R
MILI, F
COMPUTER LANGUAGES, 1992, 17 (02): : 101 - 131
[7] AN EXECUTABLE SPECIFICATION LANGUAGE FOR ABSTRACT DATA-TYPES
BELKHOUCHE, B
URBAN, JE
TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1984, 3 (04): : 247 - 251
[8] ALGEBRAIC SPECIFICATION OF DATA-TYPES - A SYNTHETIC APPROACH
LEHMANN, DJ
SMYTH, MB
MATHEMATICAL SYSTEMS THEORY, 1981, 14 (02): : 97 - 139
[9] SPECIFICATION AND IMPLEMENTATION OF RESILIENT, ATOMIC DATA-TYPES
WEIHL, W
LISKOV, B
SIGPLAN NOTICES, 1983, 18 (06): : 53 - 64
[10] RELATIVE COMPLETENESS AND SPECIFICATION OF ABSTRACT DATA-TYPES
LIN, HM
SCIENTIA SINICA SERIES A-MATHEMATICAL PHYSICAL ASTRONOMICAL & TECHNICAL SCIENCES, 1988, 31 (08): : 1002 - 1010