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 条

[41] RELATIONS BETWEEN DATA-TYPES
ZAMULIN, AV
PROGRAMMING AND COMPUTER SOFTWARE, 1987, 13 (04) : 147 - 154
[42] DIMENSIONAL DATA-TYPES IN FORTH
NOBLE, JV
DR DOBBS JOURNAL, 1988, 13 (01): : 12 - &
[43] ON HIERARCHIES OF ABSTRACT DATA-TYPES
WIRSING, M
PEPPER, P
PARTSCH, H
DOSCH, W
BROY, M
ACTA INFORMATICA, 1983, 20 (01) : 1 - 33
[44] VERIFYING ATOMIC DATA-TYPES
WING, JM
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 430 : 731 - 758
[45] COLIMITS AS PARAMETERIZED DATA-TYPES
KREOWSKI, HJ
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 393 : 36 - 49
[46] VERIFYING ATOMIC DATA-TYPES
WING, JM
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1989, 18 (05) : 315 - 357
[47] Formal specification of CSCW applications with concurrent abstract data types
Frey, M
Pucko, M
JOURNAL OF SYSTEMS ARCHITECTURE, 1998, 44 (05) : 343 - 357
[48] DATA-TYPES WITH ERRORS AND EXCEPTIONS
ZHANG, MH
THEORETICAL COMPUTER SCIENCE, 1992, 105 (02) : 275 - 299
[49] A FORMAL APPROACH TO THE SPECIFICATION OF GRAPHIC OBJECT FUNCTIONS
TORRES, JC
CLARES, B
COMPUTER GRAPHICS FORUM, 1994, 13 (03) : C371 - C380
[50] A FORMAL SPECIFICATION OF LINE REPRESENTATIONS ON GRAPHIC DEVICES
MARSHALL, LS
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 186 : 129 - 147

← 1 2 3 4 5 →