论文信息 - Abstract Data Types - 字舞流文

Abstract Data Types

The sections in this article are 1 Abstract Data Types Encapsulate Data Structures 2 Creation and Design of ADTs 3 Related Topics

Gary T. Leavens

[1] Bertrand Meyer,et al. Applying 'design by contract' , 1992, Computer.

[2] Stuart H. Zweben,et al. Part I: the RESOLVE framework and discipline: a research synopsis , 1994, SOEN.

[3] Jeannette M. Wing,et al. A behavioral notion of subtyping , 1994, TOPL.

[4] D. L. Parnas,et al. On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

[5] David Lorge Parnas,et al. Use of the concept of transparency in the design of hierarchically structured systems , 1975, CACM.

[6] William F. Ogden,et al. Modular Verification of Ada Generics , 1991, Comput. Lang..