This data structures text uses Ada exclusively and fully exploits generics, abstract data types, and software reusability. Using basic principles of software engineering the book systematically presents abstract data types as fully self-contained reusable generic packages, developing a library of Ada based reusable software components. Stressing abstractness, generality, procedure performance and correctness, it introduces all abstract data packages in five phases - discusses the use that motivates the data type and ...
Read More
This data structures text uses Ada exclusively and fully exploits generics, abstract data types, and software reusability. Using basic principles of software engineering the book systematically presents abstract data types as fully self-contained reusable generic packages, developing a library of Ada based reusable software components. Stressing abstractness, generality, procedure performance and correctness, it introduces all abstract data packages in five phases - discusses the use that motivates the data type and considers typical applications; provides a formal written description that specifies the function and all operations of the data type; presents a formal Ada generic package specification; implements selected parts of the package body; and derives performance estimates for individual operations.
Read Less
