The Definition of Standard ML - neues Buch
ISBN: 0262287005
Printed Access Code, [EAN: 9780262287005], The MIT Press, The MIT Press, Book, [PU: The MIT Press], The MIT Press, Standard ML is a general-purpose programming language designed for large… Mehr…
amazon.com Amazon.com New item. Versandkosten:Temporarily out of stock. Order now and we'll deliver when available. We'll e-mail you with an estimated delivery date as soon as we have more information. Your credit card will not be charged until we ship the item., zzgl. Versandkosten Details... |
Definition of Standard Ml - neues Buch
2019, ISBN: 9780262287005
eBooks, eBook Download (PDF), Standard ML is a general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of a… Mehr…
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
Definition of Standard Ml - neues Buch
2019, ISBN: 9780262287005
eBooks, eBook Download (PDF), [PU: The MIT Press], The MIT Press, 2019
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
The Definition of Standard ML - neues Buch
ISBN: 0262287005
Printed Access Code, [EAN: 9780262287005], The MIT Press, The MIT Press, Book, [PU: The MIT Press], The MIT Press, Standard ML is a general-purpose programming language designed for large… Mehr…
Robert Harper; David MacQueen; Robin Milner; Mads Tofte:
Definition of Standard Ml - neues Buch2019, ISBN: 9780262287005
eBooks, eBook Download (PDF), Standard ML is a general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of a… Mehr…
Definition of Standard Ml - neues Buch
2019
ISBN: 9780262287005
eBooks, eBook Download (PDF), [PU: The MIT Press], The MIT Press, 2019
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Standard ML is a general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of all concerned with the language, including users and implementers. Because computer programs are increasingly required to withstand rigorous analysis, it is all the more important that the language in which they are written be defined with full rigor.One purpose of a language definition is to establish a theory of meanings upon which the understanding of particular programs may rest. To properly define a programming language, it is necessary to use some form of notation other than a programming language. Given a concern for rigor, mathematical notation is an obvious choice. The authors have defined their semantic objects in mathematical notation that is completely independent of Standard ML.In defining a language one must also define the rules of evaluation precisely--that is, define what meaning results from evaluating any phrase of the language. The definition thus constitutes a formal specification for an implementation. The authors have developed enough of their theory to give sense to their rules of evaluation.The Definition of Standard ML is the essential point of reference for Standard ML. Since its publication in 1990, the implementation technology of the language has advanced enormously and the number of users has grown. The revised edition includes a number of new features, omits little-used features, and corrects mistakes of definition.
Detailangaben zum Buch - Definition of Standard Ml
EAN (ISBN-13): 9780262287005
ISBN (ISBN-10): 0262287005
Erscheinungsjahr: 2019
Herausgeber: The MIT Press
Buch in der Datenbank seit 2019-05-25T18:49:24+02:00 (Berlin)
Detailseite zuletzt geändert am 2022-10-23T04:52:21+02:00 (Berlin)
ISBN/EAN: 0262287005
ISBN - alternative Schreibweisen:
0-262-28700-5, 978-0-262-28700-5
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9780262296991 Definition of Standard ML (Robert Harper; David MacQueen; Robin Milner; Mads Tofte)
- 9780262296991 Definition of Standard ML (Robert Harper; David MacQueen; Robin Milner; Mads Tofte)
- 9780262132558 The Definition of Standard Ml (Milner, Robin, Tofte, Mads, Harper, Robert)
- 9780262631815 The Definition of Standard ML, revised edition (Mit Press) (Milner, Robin, Harper, Robert, Macqueen, David)
- 9780262631327 The Definition of Standard Ml (Tofte, Mads, Milner, Robin, Harper, Robert)
< zum Archiv...