The Modula-2 Software Component Library

  • Charles Lins

Part of the Springer Compass International book series (COMPASS)

Table of contents

  1. Front Matter
    Pages i-xviii
  2. Charles Lins
    Pages 1-2
  3. Charles Lins
    Pages 3-6
  4. Charles Lins
    Pages 7-24
  5. Charles Lins
    Pages 25-35
  6. Charles Lins
    Pages 37-50
  7. Charles Lins
    Pages 51-64
  8. Charles Lins
    Pages 65-83
  9. Charles Lins
    Pages 85-102
  10. Charles Lins
    Pages 103-118
  11. Charles Lins
    Pages 119-140
  12. Charles Lins
    Pages 141-160
  13. Charles Lins
    Pages 161-179
  14. Charles Lins
    Pages 181-205
  15. Charles Lins
    Pages 207-227
  16. Charles Lins
    Pages 229-252
  17. Charles Lins
    Pages 253-274
  18. Charles Lins
    Pages 275-298
  19. Charles Lins
    Pages 299-323
  20. Back Matter
    Pages 325-368

About this book

Introduction

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.

Keywords

Strings algorithms data abstraction data types software

Authors and affiliations

  • Charles Lins
    • 1
  1. 1.Apple Computer, Inc.CupertinoUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4684-6396-5
  • Copyright Information Springer-Verlag New York 1989
  • Publisher Name Springer, New York, NY
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4684-6398-9
  • Online ISBN 978-1-4684-6396-5
  • Series Print ISSN 1431-7869
  • About this book