Error title
Some error text about your books and stuff.
Close
The Definition of Standard Ml cover
  • ISBN: 9780262631815
  • ISBN10: 0262631814

The Definition of Standard Ml

by Robin Milner

  • List Price: $30.00
  • Binding: Paperback
  • Edition: 2
  • Publisher: Mit Pr
  • Publish date: 10/01/1997
used Add to Cart $5.50
You save: 82%
Marketplace Item
new Add to Cart $27.32
You save: 9%
FREE shipping on orders over $49!
Description
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.

Expand description
Seller Condition Comments Price  
Seattle Goodwill

Location: Seattle, WA
Good
Shipping Icon
May have some shelf-wear due to normal use.
$5.50
Better World Books West

Location: Mishawaka, IN
Good
Ships from Reno, NV. Shows some signs of wear, and may have some markings on
[...]
$5.57
HPB-Dallas

Location: Dallas, TX
Good
Shipping Icon
Item may show signs of shelf wear. Pages may include limited notes and
[...]
$12.32
Ergodebooks

Location: Richmond, TX
Ask seller a question
Good
Buy with confidence. Excellent Customer Service & Return policy.
$17.20
Kings Ridge Media

Location: Appleton, WI
Good
Good Condition item. May Include Some writing or highlighting. We strive to provide the best shopping experience with every item we sell. Satisfaction guaranteed! !
$21.25