共 50 条
- [31] DESIGN, ABSTRACT-DATA-TYPES AND OCCAM APPLYING TRANSPUTER BASED PARALLEL MACHINES ( OUG 10 ), 1989, : 29 - 45
- [36] NONDETERMINISTIC MODELS OF ABSTRACT DATA-TYPES RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1982, 16 (03): : 225 - 244
- [37] Semantic Code Refactoring for Abstract Data Types Proceedings of the ACM on Programming Languages, 8
- [38] AN EXPERIENCE IN IMPLEMENTING ABSTRACT DATA-TYPES SOFTWARE-PRACTICE & EXPERIENCE, 1981, 11 (03): : 315 - 320
- [39] Transition Specifications for Dynamic Abstract Data Types Applied Categorical Structures, 1997, 5 : 265 - 308