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.
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
Author: C. Lins
Publisher:
ISBN:
Category :
Languages : en
Pages : 450
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 450
Book Description
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
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.
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.
The Modula-2 Software Component Library
Author: Charles Lins
Publisher: Springer Science & Business Media
ISBN: 1468463861
Category : Computers
Languages : en
Pages : 463
Book Description
This book is the third and final volume in a series entitled "The Modula-2 Software Component Library." C. 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 Modula-2 programmers, this series of books could prove as useful and indispensible as the original language reference by Niklaus Wirth. This third volume discusses the concepts of trees and graphs, shows their specifications, and provides implementations for various forms of trees and graphs.
Publisher: Springer Science & Business Media
ISBN: 1468463861
Category : Computers
Languages : en
Pages : 463
Book Description
This book is the third and final volume in a series entitled "The Modula-2 Software Component Library." C. 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 Modula-2 programmers, this series of books could prove as useful and indispensible as the original language reference by Niklaus Wirth. This third volume discusses the concepts of trees and graphs, shows their specifications, and provides implementations for various forms of trees and graphs.