Cantitate/Preț
Produs
Total produse
Vezi coșul
The Modula-2 Software Component Library: Volume 4 de Charles Lins

The Modula-2 Software Component Library: Volume 4: Springer Compass International

Autor Charles Lins
en Limba Engleză Paperback – mar 2012
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.
Citește tot Restrânge

Din seria Springer Compass International

Preț: 62402 lei

Preț vechi: 78002 lei
-20%

Puncte Express: 936
Paperback (4) de la 32405 lei

Carte tipărită la comandă

Livrare economică 28 iulie-11 august

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9781468463989
ISBN-10: 1468463985
Pagini: 388
Ilustrații: XVII, 371 p.
Dimensiuni: 152 x 229 x 20 mm
Greutate: 0.52 kg
Ediția:1989
Editura: Springer
Colecția Springer
Seria Springer Compass International

Locul publicării:New York, NY, United States

Public țintă

Research

Cuprins

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.