Get Free Shipping on orders over $89
Mit Press : The Definition of Standard ML - David  MacQueen

Mit Press

By: David MacQueen, Robin Milner, Robert Harper, Mads Tofte

Paperback | 21 May 1997 | Edition Number 2

At a Glance

Paperback


$88.99

or 4 interest-free payments of $22.25 with

 or 

Ships in 5 to 10 business days

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.

More in Programming & Scripting Languages

Python All-in-One For Dummies : 3rd Edition - John C. Shovic

RRP $74.95

$49.99

33%
OFF
Swift : The Practical Guide - Kerem Koseoglu
Introduction to Programming Languages - Gordon Hurley
Fundamentals of Python : 3rd Edition - First Programs - Kenneth Lambert
The C Programming Language : Prentice Hall Software - Brian Kernighan

RRP $107.04

$75.75

29%
OFF
Fluent Python : Clear, Concise, and Effective Programming 2nd Edition - Luciano Ramalho
Problem Solving and Program Design in C, Global Edition : 8th Edition - Elliot Koffman
C++ How to Program, Global Edition : 10th Edition - Paul Deitel

RRP $167.95

$133.75

20%
OFF
Python Cookbook : Recipes for Mastering Python : 3rd Edition - David Beazley
Concepts of Programming Languages, Global Edition : 12th Edition - Robert Sebesta