The Modula-2 Software Component Library
Volume 4
Published on 6. December 2012
XVII, 371 pages
978-1-4684-6396-5 (ISBN)
Description
Source Code Availability All of the source code found in this volume, and some that is not, is available from the author at a nominal fee. The author is interested in learning of any errors that may be found, though care has been taken in the construction of the modules to minimize these. The author is also interested in other comments, suggestions, recommendations, questions or experiences with the use of these modules. Contact the author through the following address: Modula-2 Software c/o Springer-Verlag 815 De La Vina St. Santa Barbara, CA 93101 As of February 1988, source code is available on 3.5" Macintosh diskettes (800K HFS format) for the TML Modula-2 compiler for MPW and the Mac METH Modula-2 compiler from ETH Ziirich. 1 Specification Requirements for specification of procedure and data abstractions were previously covered in Volume 1, Chapter 2. A summary is provided of the specification for mat used in this book. The format is adapted from that Guttag and Liskov [10] developed for the CLU language. It consists of relatively few constructs, is semi formal by providing a rigorous definition of the syntax and semantics of opera tions, and it provides powerful facilities for defining abstract data types. 1.1 Specification of Procedure Abstractions Specification of a procedure requires a full description of syntax and semantics. Syntax the name of the procedure by name, the name and type of each ar gument or result, and the order in which the arguments and results occur.
More details
Other editions
Additional editions
Book
08/1990
Springer
€85.55
Article exhausted; check different version
Content
Volume 2 Table of Contents.- 0 Introduction to Volume 2.- 1 Specification.- 1.1 Specification of Procedure Abstractions.- 1.2 Specifying Data Abstractions.- 1.3 Special Symbols.- References.- 2 Module Guide.- 2.1 Purpose.- 2.2 Lists.- 2.3 Queues.- 2.4 Deques.- 2.5 Module Names 23 References.- 3 The List Abstraction.- 3.1 Lists: Concept and Definitions.- 3.2 Selected Summary of List Applications and Uses.- 3.3 List Constructor Operations.- 3.4 List Selector Operations.- 3.5 List Exceptions.- 3.6 Summary.- References.- 4 Singly-Linked Unbounded List.- 4.1 List Enumerations.- 4.2 Singly-Linked Unbounded List Interface.- 4.3 Singly-Linked Unbounded List Implementation.- References.- 5 The Doubly-Linked Unbounded List.- 5.1 Doubly-Linked Unbounded List Interface.- 5.2 Doubly-Linked Unbounded List Implementation.- References.- 6 The Singly-Linked Bounded List.- 6.1 Singly-Linked Bounded List Interface.- 6.2 Singly-Linked Bounded List Implementation.- References.- 7 The Doubly-Linked Bounded List.- 7.1 Doubly-Linked Bounded List Interface.- 7.2 Doubly-Linked Bounded List Implementation.- References.- 8 List Utilities.- 8.1 Sequential Search Utilities - Interface.- 8.2 Sequential Search Utilities - Implementation.- 8.3 List Utilities - Interface.- 8.4 List Utilités - Implementation.- References.- 9 The Queue and Deque Abstractions.- 9.1 Queues and Deques: Concept and Definitions.- 9.2 Summary of Queue/Deque Applications and Uses.- 9.3 Queue Constructor Operations.- 9.4 Queue Selector Operations.- 9.5 Queue Iterator Operations.- 9.6 Deque Operations.- 9.7 Priority Queue/Deque Operations.- 9.8 Balking Queue/Deque Operations.- 9.9 Queue/Deque Exceptions.- 9.10 Summary.- References.- 10 The Bounded Queue.- 10.1 Queue Enumerations.- 10.2 Bounded Queue Interface.- 10.3Bounded Queue Implementation.- 10.4 The Bounded Balking Queue.- References.- 11 The Unbounded Queue.- 11.1 Unbounded Queue Interface.- 11.2 Unbounded Queue Implementation.- 11.3 The Unbounded Balking Queue.- References.- 12 The Bounded Priority Queue.- 12.1 Bounded Balking Priority Queue Interface.- 12.2 Bounded Balking Priority Queue Implementation.- 12.3 Bounded Priority Queue Implementation Using Heaps.- References.- 13 The Unbounded Priority Queue.- 13.1 Unbounded Balking Priority Queue Interface.- 13.2 Unbounded Balking Priority Queue Implementation.- References.- 14 The Bounded Deque.- 14.1 Bounded Deque Interface.- 14.2 Bounded Deque Implementation.- 14.3 The Balking Bounded Deque.- References.- 15 The Unbounded Deque.- 15.1 Unbounded Deque Interface.- 15.2 Unbounded Deque Implementation.- 15.2.6 Module Initialization.- 15.3 Unbounded Balking Deque Implementation.- References.- 16 The Bounded Priority Deque.- 16.1 Bounded Priority Deque Interface.- 16.2 Bounded Priority Deque Implementation.- References.- 17 The Unbounded Priority Balking Deque.- 17.1 Unbounded Priority Balking Deque Interface.- 17.2 Unbounded Priority Balking Deque Implementation.- References.- Appendices.- A Modula-2 Syntax Diagrams.- B Module Import Graph Diagrams.- C Module Index.
