共 50 条
- [11] Categorical programming with abstract data types ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1999, 1548 : 406 - 421
- [12] Synthesis of programs in abstract data types LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 1999, 1559 : 81 - 100
- [15] On algebraic specifications of abstract data types COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2003, 2803 : 299 - 313
- [16] ABSTRACT DATA TYPES AND SOFTWARE VALIDATION COMMUNICATIONS OF THE ACM, 1978, 21 (12) : 1048 - 1064
- [17] Random access to abstract data types ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2000, 1816 : 135 - 149