共 50 条
- [22] SPECIFICATION AND IMPLEMENTATION OF ABSTRACT DATA-TYPES [J]. ADVANCES IN COMPUTERS, 1983, 22 : 295 - 353
- [23] NONDETERMINISTIC MODELS OF ABSTRACT DATA-TYPES [J]. RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1982, 16 (03): : 225 - 244
- [24] CANONICAL CONSTRAINTS FOR PARAMETERIZED DATA-TYPES [J]. THEORETICAL COMPUTER SCIENCE, 1987, 50 (03) : 323 - 349
- [25] A MATHEMATICAL APPROACH TO NONDETERMINISM IN DATA-TYPES [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1988, 10 (01): : 87 - 117
- [26] HIGHER-ORDER DATA-TYPES [J]. INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES, 1980, 9 (01): : 31 - 53
- [27] FORMAL SPECIFICATION OF GRAPHIC DATA-TYPES [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1982, 4 (04): : 687 - 710
- [28] ABSTRACT DATA-TYPES, SUBTYPES AND DATA INDEPENDENCE [J]. COMPUTER JOURNAL, 1981, 24 (04): : 308 - 311
- [29] ON THE ALGEBRAIC EXTENSIONS OF ABSTRACT DATA-TYPES [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1981, 107 : 244 - 251