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.
Since the book was first published 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.
- ISBN:
- 9780262631815
- 9780262631815
-
Category:
- Programming & scripting languages: general
- Format:
- Paperback
- Publication Date:
-
21-05-1997
- Language:
- English
- Publisher:
- MIT Press Ltd
- Country of origin:
- United States
- Edition:
- 2nd Edition
- Pages:
- 128
- Dimensions (mm):
- 224x173x10mm
- Weight:
- 0.25kg
This title is in stock with our overseas supplier and should be sent from our Sydney warehouse within 3 - 4 weeks of you placing an order.
Once received into our warehouse we will despatch it to you with a Shipping Notification which includes online tracking.
Please check the estimated delivery times below for your region, for after your order is despatched from our warehouse:
ACT Metro 2 working days
NSW Metro 2 working days
NSW Rural 2-3 working days
NSW Remote 2-5 working days
NT Metro 3-6 working days
NT Remote 4-10 working days
QLD Metro 2-4 working days
QLD Rural 2-5 working days
QLD Remote 2-7 working days
SA Metro 2-5 working days
SA Rural 3-6 working days
SA Remote 3-7 working days
TAS Metro 3-6 working days
TAS Rural 3-6 working days
VIC Metro 2-3 working days
VIC Rural 2-4 working days
VIC Remote 2-5 working days
WA Metro 3-6 working days
WA Rural 4-8 working days
WA Remote 4-12 working days
Share This Book: