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

Peter Schnupp S. S. Muchnik Charles Lins; S.S. Muchnik; Peter Schnupp

ISBN 10: 0387972552 / ISBN 13: 9780387972558

Editore: Springer, 1990

Riguardo questo articolo

Brand new book. Fast ship. Please provide full street address as we are not able to ship toPOboxaddress.

Codice articolo SHUB89880

Dati bibliografici

• Titolo: The Modula-2 Software Component Library: Volume 4 (Springer Compass International)
• Editore: Springer
• Data di pubblicazione: 1990
• Lingua: Inglese
• ISBN 10: 0387972552
• ISBN 13: 9780387972558
• Rilegatura: Rilegato
• Condizione: nuovo

Descrizione articolo

Riassunto

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.

Product Description

Book by Lins Charles