A methodology for programming abstract data types in Ada

Abstract

We develop conventions to be followed when creating abstract data types in Ada. These conventions define a discipline for the use of initialization, finalization, assignment, private types, and generic packages in writing transportable and interchangeable abstract data types. We illustrate the conventions by presenting several implementations of an Ada package for a typical abstract data type, Set. The implications of these conventions for compiler implementation are discussed.