Software Construction and Data Structures with Ada 95
2nd Edition
Published on 26. July 1996
Book
Hardback
648 pages
978-0-201-88795-2 (ISBN)
Description
Using Ada 95, this book covers classical data structures and algorithms in a software engineering context. Through the use of generic abstract data types (ADT) packages, this text gives a realistic view of system development using reusable components. The book contains over 200 complete and compilable package specifications, implementations, and programs, which are compatible with any Ada compiler.
More details
Edition
2nd edition
Language
English
Place of publication
United States
Publishing group
Pearson Education (US)
Target group
College/higher education
Dimensions
Height: 188 mm
Width: 235 mm
Thickness: 27 mm
Weight
940 gr
ISBN-13
978-0-201-88795-2 (9780201887952)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Person
Dr. Michael Feldman is a professor of computer science at The George Washington University, as well as Chair of the Education Working Group of the ACM Special Interest Group on Ada (SIGAda). He has over fifteen years experience teaching Ada in introductory courses, and is the author of two other books, Software Construction and Data Structures with Ada 95 and Data Structures with Modula-2. Dr. Feldman manages the popular Internet site, Ada Programming Language Resources for Educators and Students - http://www.acm.org/sigada/education.
Content
(Each chapter concludes with "Exercises".)
1. Abstraction and the Ada Type System.
Your Ada Starting Points.
Some Ada 95 Changes.
The Life Cycle of Software Development.
The Goals of Software Engineering.
Using Abstraction to Manage Complexity.
A Quick Tour of the Ada Type System.
A Set of Numeric Types for This Book.
Abstract Data Types (ADTs).
Object-Oriented Programming.
A Predefined ADT: the Ada.Calendar Package.
Application: Time Around the World.
A Predefined ADT: Strings in Ada.
Exercises.
2. Writing Abstract Data Types.
ADT Design: Rational Numbers.
Developing a Test Plan.
ADT Design: an ADT for Dollars and Cents.
ADT Design: Calendar Dates.
ADT Design: Simple Screen Handler.
ADT Design: Simple Window Manager.
A Few More Ada 95 Topics.
Exercises.
3. Algorithms, Recursion, Performance Prediction, and Performance Measurement.
Algorithms and Algorithm Design.
Recursive Algorithms.
Performance Prediction and the "Big O" Notation.
Design: An ADT for Keyed Tables.
Application: A Simple Employee Database.
Measuring Program Performance.
Exercises.
4. Multidimensional and Unconstrained Array Types.
Data Structures: Multidimensional Arrays.
Data Structures: Unconstrained Array Types.
Application: A General Sorting Program.
ADT Design: Mathematical Vectors.
ADT Design: Mathematical Matrices.
Storage Mappings.
Exercises.
5. Generic Subprograms and Packages.
Ada Structures: Generic Units.
Application: A Generic Sorting Program.
Application: a Generic Binary Search Program.
ADT Design: An Abstract Data Type for Sets.
Application: Music Makers.
ADT Design: A Generic Vector Package.
Summary of Generic Specifications.
ADT Design: Generic Keyed Table Handler.
ADT Design: A Generic Backup Package.
Application: Airline Passenger List.
ADT Design: ADTs versus Abstract Data Objects.
Exercises.
6. Variant and Tagged Record Types.
Ada Structures: Variant Records.
ADT Design: Geometric Figures.
ADT Design: Metric System.
ADT Design: Variable-Length Strings.
Ada Structures: Strings in Ada 95.
Ada Structures: Tagged Types.
Exercises.
7. Queues and Stacks.
Queues and Stacks Introduced.
ADT Design: FIFO Queues.
ADT Design: Priority Queues.
ADT Design: Stacks.
Expression Evaluation and Polish Notation.
Application: An Infix-to-RPN Translator Program.
Application: An Event-Driven Simulation.
Exercises.
8. Access Types and Dynamic Data Structures.
Ada Structures: Access Types and the NEW Operator.
Data Structures: Singly Linked Lists.
Recursive Implementations of Linked-List Operations.
Iterative Implementation of Linked-List Operations.
Linked Lists with Head and Tail Pointers.
Ordered Insertions in Linked Lists.
Debugging Programs with Linked Lists.
Exercises.
9. Linked List Applications.
ADT Design: A Generic ADT for Singly-Linked Lists.
Allocation Using a List of Available Space (LAVS).
ADT Design: Unbounded Queues and Stacks.
ADT Design: The Keyed Table as a Linked List.
Application: The Airline Passenger List Again.
ADT Design: Passive and Active Iterators.
ADT Design: Unbounded Variable-Length Strings.
Application: Sparse Vectors and Matrices.
Simulating Dynamic Memory Management.
Ada Structures: Ada 95 Unbounded Strings.
Ada Structures: Ada 95 General Access Types.
Heterogeneous Structures and Dynamic Dispatching.
Exercises.
10. Directed Graphs.
Undirected and Directed Graphs.
Properties of Digraphs.
Implementations of Directed Graphs.
Graph Traversals.
A Generic ADT for Directed Graphs.
Application: A Simple Lexical Scanner.
Exercises.
11. Binary Trees.
Trees.
Properties of Binary Trees.
Implementing Binary Trees.
Traversals of Binary Trees.
Expression Trees.
Application: Building an Expression Tree.
Binary Search Trees (BSTs).
ADT Design: The Keyed Table as a BST.
Application: A Cross-Reference Generator.
Subprogram Pointers and Table-Driven Programming.
Exercises.
12. Advanced Tree Concepts.
Threaded Binary Search Trees.
Heaps.
Application: The Priority Queue as a Heap.
Digital Search Trees.
AVL Balanced Binary Search Trees.
B-Trees.
Exercises.
13. Hash Table Methods.
Sequential and Binary Search Revisited.
The Hash Table.
Choosing a Hash Function.
Resolving Collisions in Hash Tables.
Hybrid Search Strategies.
Exercises.
14. Internal Sorting Methods.
Introduction.
O(N2) Sorts: Simple Selection Sort.
O(N2) Sorts: Delayed Selection Sort.
O(N2) Sorts: Bubble Sort.
O(N2) Sorts: Linear Insertion Sort.
O(N log N) Sorts: Merge Sort.
O(N log N) Sorts: Heap Sort.
O(N log N) Sorts: Quick Sort.
Other Sorts: Shell Sort.
Other Sorts: Quadratic Selection Sort.
Other Sorts: Radix Sort.
Exercises.
15. Introduction to Concurrent Programming.
What Is Concurrent Programming?
Ada Structures: Task Types and Task Objects.
Ada Structures: Protected Types and Protected Objects.
Data Structures: The Task as a Data Structure.
Application: Simulation of a Bank.
Application: The Dining Philosophers.
Chapter Review.
Exercises.
Appendices.
A. The Ada Character Set, Delimiters, and Reserved Words.
B. Ada 95 Syntax Rules.
C. The Ada Predefined Language Environment.
D. Specification of the Package Ada.Text_IO.
E. Specification of the Package Ada.Calendar.
F. Specification of the Ada Math Libraries.
G. Specification of the Ada String Libraries Used in this Book.
H. Summary of Ada Execution-Time Exceptions.
I. Ada Hints for Pascal Users.
J. Timing Algorithm Performance on a Shared Computer.
1. Abstraction and the Ada Type System.
Your Ada Starting Points.
Some Ada 95 Changes.
The Life Cycle of Software Development.
The Goals of Software Engineering.
Using Abstraction to Manage Complexity.
A Quick Tour of the Ada Type System.
A Set of Numeric Types for This Book.
Abstract Data Types (ADTs).
Object-Oriented Programming.
A Predefined ADT: the Ada.Calendar Package.
Application: Time Around the World.
A Predefined ADT: Strings in Ada.
Exercises.
2. Writing Abstract Data Types.
ADT Design: Rational Numbers.
Developing a Test Plan.
ADT Design: an ADT for Dollars and Cents.
ADT Design: Calendar Dates.
ADT Design: Simple Screen Handler.
ADT Design: Simple Window Manager.
A Few More Ada 95 Topics.
Exercises.
3. Algorithms, Recursion, Performance Prediction, and Performance Measurement.
Algorithms and Algorithm Design.
Recursive Algorithms.
Performance Prediction and the "Big O" Notation.
Design: An ADT for Keyed Tables.
Application: A Simple Employee Database.
Measuring Program Performance.
Exercises.
4. Multidimensional and Unconstrained Array Types.
Data Structures: Multidimensional Arrays.
Data Structures: Unconstrained Array Types.
Application: A General Sorting Program.
ADT Design: Mathematical Vectors.
ADT Design: Mathematical Matrices.
Storage Mappings.
Exercises.
5. Generic Subprograms and Packages.
Ada Structures: Generic Units.
Application: A Generic Sorting Program.
Application: a Generic Binary Search Program.
ADT Design: An Abstract Data Type for Sets.
Application: Music Makers.
ADT Design: A Generic Vector Package.
Summary of Generic Specifications.
ADT Design: Generic Keyed Table Handler.
ADT Design: A Generic Backup Package.
Application: Airline Passenger List.
ADT Design: ADTs versus Abstract Data Objects.
Exercises.
6. Variant and Tagged Record Types.
Ada Structures: Variant Records.
ADT Design: Geometric Figures.
ADT Design: Metric System.
ADT Design: Variable-Length Strings.
Ada Structures: Strings in Ada 95.
Ada Structures: Tagged Types.
Exercises.
7. Queues and Stacks.
Queues and Stacks Introduced.
ADT Design: FIFO Queues.
ADT Design: Priority Queues.
ADT Design: Stacks.
Expression Evaluation and Polish Notation.
Application: An Infix-to-RPN Translator Program.
Application: An Event-Driven Simulation.
Exercises.
8. Access Types and Dynamic Data Structures.
Ada Structures: Access Types and the NEW Operator.
Data Structures: Singly Linked Lists.
Recursive Implementations of Linked-List Operations.
Iterative Implementation of Linked-List Operations.
Linked Lists with Head and Tail Pointers.
Ordered Insertions in Linked Lists.
Debugging Programs with Linked Lists.
Exercises.
9. Linked List Applications.
ADT Design: A Generic ADT for Singly-Linked Lists.
Allocation Using a List of Available Space (LAVS).
ADT Design: Unbounded Queues and Stacks.
ADT Design: The Keyed Table as a Linked List.
Application: The Airline Passenger List Again.
ADT Design: Passive and Active Iterators.
ADT Design: Unbounded Variable-Length Strings.
Application: Sparse Vectors and Matrices.
Simulating Dynamic Memory Management.
Ada Structures: Ada 95 Unbounded Strings.
Ada Structures: Ada 95 General Access Types.
Heterogeneous Structures and Dynamic Dispatching.
Exercises.
10. Directed Graphs.
Undirected and Directed Graphs.
Properties of Digraphs.
Implementations of Directed Graphs.
Graph Traversals.
A Generic ADT for Directed Graphs.
Application: A Simple Lexical Scanner.
Exercises.
11. Binary Trees.
Trees.
Properties of Binary Trees.
Implementing Binary Trees.
Traversals of Binary Trees.
Expression Trees.
Application: Building an Expression Tree.
Binary Search Trees (BSTs).
ADT Design: The Keyed Table as a BST.
Application: A Cross-Reference Generator.
Subprogram Pointers and Table-Driven Programming.
Exercises.
12. Advanced Tree Concepts.
Threaded Binary Search Trees.
Heaps.
Application: The Priority Queue as a Heap.
Digital Search Trees.
AVL Balanced Binary Search Trees.
B-Trees.
Exercises.
13. Hash Table Methods.
Sequential and Binary Search Revisited.
The Hash Table.
Choosing a Hash Function.
Resolving Collisions in Hash Tables.
Hybrid Search Strategies.
Exercises.
14. Internal Sorting Methods.
Introduction.
O(N2) Sorts: Simple Selection Sort.
O(N2) Sorts: Delayed Selection Sort.
O(N2) Sorts: Bubble Sort.
O(N2) Sorts: Linear Insertion Sort.
O(N log N) Sorts: Merge Sort.
O(N log N) Sorts: Heap Sort.
O(N log N) Sorts: Quick Sort.
Other Sorts: Shell Sort.
Other Sorts: Quadratic Selection Sort.
Other Sorts: Radix Sort.
Exercises.
15. Introduction to Concurrent Programming.
What Is Concurrent Programming?
Ada Structures: Task Types and Task Objects.
Ada Structures: Protected Types and Protected Objects.
Data Structures: The Task as a Data Structure.
Application: Simulation of a Bank.
Application: The Dining Philosophers.
Chapter Review.
Exercises.
Appendices.
A. The Ada Character Set, Delimiters, and Reserved Words.
B. Ada 95 Syntax Rules.
C. The Ada Predefined Language Environment.
D. Specification of the Package Ada.Text_IO.
E. Specification of the Package Ada.Calendar.
F. Specification of the Ada Math Libraries.
G. Specification of the Ada String Libraries Used in this Book.
H. Summary of Ada Execution-Time Exceptions.
I. Ada Hints for Pascal Users.
J. Timing Algorithm Performance on a Shared Computer.