Author: Charles Lins
Publisher: Springer Science & Business Media
ISBN: 1468463969
Category : Computers
Languages : en
Pages : 378
Book 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.
The Modula-2 Software Component Library
Author: Charles Lins
Publisher: Springer Science & Business Media
ISBN: 1468463969
Category : Computers
Languages : en
Pages : 378
Book 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.
Publisher: Springer Science & Business Media
ISBN: 1468463969
Category : Computers
Languages : en
Pages : 378
Book 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.
The Modula-2 Software Component Library
Author: Charles Lins
Publisher:
ISBN: 9783540972556
Category : Modula-2 (Computer program language)
Languages : en
Pages : 371
Book Description
Publisher:
ISBN: 9783540972556
Category : Modula-2 (Computer program language)
Languages : en
Pages : 371
Book Description
Modula-2 and Beyond
Author:
Publisher:
ISBN:
Category : Modula-2 (Computer program language)
Languages : en
Pages : 370
Book Description
Publisher:
ISBN:
Category : Modula-2 (Computer program language)
Languages : en
Pages : 370
Book Description
The Modula-2 Software Component Library
Author: Charles Lins
Publisher: Springer
ISBN:
Category : Computers
Languages : en
Pages : 336
Book Description
This book is the first volume in a series entitled The Modula-2 Software Component Library. Charles Lins collection of reusable standard software components, could be the basis for every programmers software project in Modula-2. Components that are implementations of commonly used data structures are presented, along with an adequate description of their functionality and efficiency. Moreover, the books provide the background necessary to tailor these components to the specific needs of any Modula-2 environment. For every Modula-2 programmer this series of books might prove as useful and indispensible as the original language reference by Niklaus Wirth.
Publisher: Springer
ISBN:
Category : Computers
Languages : en
Pages : 336
Book Description
This book is the first volume in a series entitled The Modula-2 Software Component Library. Charles Lins collection of reusable standard software components, could be the basis for every programmers software project in Modula-2. Components that are implementations of commonly used data structures are presented, along with an adequate description of their functionality and efficiency. Moreover, the books provide the background necessary to tailor these components to the specific needs of any Modula-2 environment. For every Modula-2 programmer this series of books might prove as useful and indispensible as the original language reference by Niklaus Wirth.
Subject Guide to Books in Print
Author:
Publisher:
ISBN:
Category : American literature
Languages : en
Pages : 3126
Book Description
Publisher:
ISBN:
Category : American literature
Languages : en
Pages : 3126
Book Description
The Modula-2 Software Component Library
Author: Charles Lins
Publisher: Springer
ISBN:
Category : Computers
Languages : en
Pages : 400
Book Description
This book is the second volume in a series entitled The Modula-2 Software Component Library. Charles Lins' collection of reusable standard software components could be the basis for every programmer's software project in Modula-2. Components that are implementations of commonly used data structures are presented, along with a description of their functionality and efficiency. Moreover, the books provide the background necessary to tailor these components to the specific needs of any Modula-2 environment. For every Modula-2 programmer, this series of books could prove as useful and indispensable as the original language reference by Niklaus Wirth. This second volume introduces software modules for lists, queues, and deques.
Publisher: Springer
ISBN:
Category : Computers
Languages : en
Pages : 400
Book Description
This book is the second volume in a series entitled The Modula-2 Software Component Library. Charles Lins' collection of reusable standard software components could be the basis for every programmer's software project in Modula-2. Components that are implementations of commonly used data structures are presented, along with a description of their functionality and efficiency. Moreover, the books provide the background necessary to tailor these components to the specific needs of any Modula-2 environment. For every Modula-2 programmer, this series of books could prove as useful and indispensable as the original language reference by Niklaus Wirth. This second volume introduces software modules for lists, queues, and deques.
The Modula-2 Software Component Library
Abstraction and Specification with Modula-2
Author: Claire Willis
Publisher: UCL Press
ISBN:
Category : Computers
Languages : en
Pages : 552
Book Description
This text adopts a modern software engineering approach to teaching a programming language. Throughout the book, the concept of a software system rather than a program is emphasized, and software design is tackled independently from any programming language.
Publisher: UCL Press
ISBN:
Category : Computers
Languages : en
Pages : 552
Book Description
This text adopts a modern software engineering approach to teaching a programming language. Throughout the book, the concept of a software system rather than a program is emphasized, and software design is tackled independently from any programming language.
Data Abstraction And Program Design
Author: R Ellis
Publisher: CRC Press
ISBN: 9781857285703
Category : Computers
Languages : en
Pages : 290
Book Description
This student text explores large-scale program design in the object-oriented paradigm, with an emphasis on data abstraction. It assumes knowledge of an imperative language such as PASCAL and provides examples in C++ and ADA.
Publisher: CRC Press
ISBN: 9781857285703
Category : Computers
Languages : en
Pages : 290
Book Description
This student text explores large-scale program design in the object-oriented paradigm, with an emphasis on data abstraction. It assumes knowledge of an imperative language such as PASCAL and provides examples in C++ and ADA.
Abstract Data Types and Modula-2
Author: Richard Mitchell
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 408
Book Description
Contains explanations of what abstract data types are and how to specify them, and of the connection between abstract data types and program components. The book does assume a knowledge of Modula-2, although some of the difficulties of using opaque types are discussed before they are used.
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 408
Book Description
Contains explanations of what abstract data types are and how to specify them, and of the connection between abstract data types and program components. The book does assume a knowledge of Modula-2, although some of the difficulties of using opaque types are discussed before they are used.