CONSTRUCTIVE DATA-TYPES

被引：0

作者：

MCCARTY, DC

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：1097 / 1097

页数：1

共 50 条

[1] ABSTRACT DATA-TYPES AND THEIR EXTENSIONS WITHIN A CONSTRUCTIVE LOGIC
BERTONI, A
MAURI, G
MIGLIOLI, P
ORNAGHI, M
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 173 : 177 - 195
[2] ALGORITHMIC SPECIFICATIONS - A CONSTRUCTIVE SPECIFICATION METHOD FOR ABSTRACT DATA-TYPES
LOECKX, J
[J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1987, 9 (04): : 646 - 685
[3] SEMI-CONSTRUCTIVE FORMAL SYSTEMS AND AXIOMATIZATION OF ABSTRACT DATA-TYPES
MIGLIOLI, P
MOSCATO, U
ORNAGHI, M
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 351 : 337 - 351
[4] CONTINUOUS DATA-TYPES
LEVY, MR
MAIBAUM, TSE
[J]. SIAM JOURNAL ON COMPUTING, 1982, 11 (02) : 201 - 216
[5] ON THE REPRESENTATION OF DATA-TYPES
OREJAS, F
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1981, 107 : 419 - 431
[6] DIMENSIONAL DATA-TYPES
JONES, DW
[J]. DR DOBBS JOURNAL, 1987, 12 (05): : 50 - &
[7] ROBUST DATA-TYPES
CRISTIAN, F
[J]. ACTA INFORMATICA, 1982, 17 (04) : 365 - 397
[8] DATA-TYPES AS ALGORITHMS
ABDALLAH, MAN
[J]. RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1984, 18 (01): : 3 - 22
[9] DATA-TYPES ARE VALUES
DONAHUE, J
DEMERS, A
[J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1985, 7 (03): : 426 - 445
[10] SPECIFICATION BY DATA-TYPES
ANAIRCHINNIGH, MM
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 252 : 362 - 388