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 条

[31] A LANGUAGE USING TYPE HIERARCHIES FOR THE SPECIFICATION, IMPLEMENTATION AND SELECTION OF ABSTRACT DATA-TYPES
SHERMAN, MS
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 189 : 6 - +
[32] MODULA-2 AS A BASIS FOR A SPECIFICATION, AND IMPLEMENTATION METHOD FOR ABSTRACT DATA-TYPES
REITENSPIESS, M
RUPPRECHT, G
ANGEWANDTE INFORMATIK, 1983, (05): : 206 - 212
[33] ROBUST DATA-TYPES
CRISTIAN, F
ACTA INFORMATICA, 1982, 17 (04) : 365 - 397
[34] CONSTRUCTIVE DATA-TYPES
MCCARTY, DC
JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (04) : 1097 - 1097
[35] DATA-TYPES AS ALGORITHMS
ABDALLAH, MAN
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1984, 18 (01): : 3 - 22
[36] DATA-TYPES ARE VALUES
DONAHUE, J
DEMERS, A
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1985, 7 (03): : 426 - 445
[37] ABSTRACT SPECIFICATION OF SYNCHRONOUS DATA-TYPES FOR VLSI AND PROVING THE CORRECTNESS OF SYSTOLIC NETWORK IMPLEMENTATIONS
PROBST, DK
LI, HF
IEEE TRANSACTIONS ON COMPUTERS, 1988, 37 (06) : 710 - 720
[38] OBSERVING NONDETERMINISTIC DATA-TYPES
NIPKOW, T
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 332 : 170 - 183
[39] DATA-TYPES IN DISTRIBUTIVE CATEGORIES
WALTERS, RFC
BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY, 1989, 40 (01) : 79 - 82
[40] THE MECHANICAL TRANSFORMATION OF DATA-TYPES
HARRISON, PG
KHOSHNEVISAN, H
COMPUTER JOURNAL, 1992, 35 (02): : 138 - 147

← 1 2 3 4 5 →