OBSERVING NONDETERMINISTIC DATA-TYPES

被引：0

作者：

NIPKOW, T ^{[1
]}

机构：

[1] UNIV MANCHESTER, MANCHESTER M13 9PL, LANCS, ENGLAND

来源：

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：170 / 183

页数：14

共 50 条

[1] NONDETERMINISTIC MODELS OF ABSTRACT DATA-TYPES
LESCANNE, P
[J]. RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1982, 16 (03): : 225 - 244
[2] NONDETERMINISTIC DATA-TYPES - MODELS AND IMPLEMENTATIONS
NIPKOW, T
[J]. ACTA INFORMATICA, 1986, 22 (06) : 629 - 661
[3] ARE HOMOMORPHISMS SUFFICIENT FOR BEHAVIORAL IMPLEMENTATIONS OF DETERMINISTIC AND NONDETERMINISTIC DATA-TYPES
NIPKOW, T
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 247 : 260 - 271
[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] CONSTRUCTIVE DATA-TYPES
MCCARTY, DC
[J]. JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (04) : 1097 - 1097
[9] DATA-TYPES AS ALGORITHMS
ABDALLAH, MAN
[J]. RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1984, 18 (01): : 3 - 22
[10] DATA-TYPES ARE VALUES
DONAHUE, J
DEMERS, A
[J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1985, 7 (03): : 426 - 445