Overview

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.

Full Product Details

Author:   Charles Lins
Publisher:   Springer-Verlag New York Inc.
Imprint:   Springer-Verlag New York Inc.
Edition:   Softcover reprint of the original 1st ed. 1989
Dimensions:   Width: 15.20cm , Height: 2.00cm , Length: 22.90cm
Weight:   0.561kg
ISBN:  

9781468463989

ISBN 10:   1468463985
Pages:   371
Publication Date:   01 March 2012
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions