Definition of Standard ML by Robin Milner
Look inside with Google Book Preview
Definition of Standard ML
By Robin Milner

The Definition of Standard ML

2nd Revised edition

By (author) See other recent books by Robin Milner See other recent books by Mads Tofte See other recent books by Robert Harper
Format: Paperback

Checking availability...



Definition of Standard ML by Robin Milner

Book 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.

Buy Definition of Standard ML book by Robin Milner from Australia's Online Bookstore, Boomerang Books.


Book Details

ISBN: 9780262631815
ISBN-10: 0262631814
Format: Paperback
(224mm x 173mm x 10mm)
Pages: 128
Imprint: MIT Press
Publisher: MIT Press Ltd
Publish Date: 2-Jul-1997
Country of Publication: United States

Other Editions...


Books By Author Robin Milner

Computing Tomorrow by Robin Milner Computing Tomorrow, Paperback (March 2009)

Collection of essays dealing with the future of computer science as a research subject.

Space and Motion of Communicating Agents by Robin Milner Space and Motion of Communicating Agents, Paperback (March 2009)

Robin Milner presents a unified structural theory for modelling networks of agents that is destined to have far-reaching significance.

Communicating and Mobile Systems by Robin Milner Communicating and Mobile Systems, Hardback (May 1999)

First account of new theory of communication in computing which describes networks, as well as parts of computer systems.

» View all books by Robin Milner

Reviews

» Have you read this book? We'd like to know what you think about it - write a review about Definition of Standard ML book by Robin Milner and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a member - it's free to sign up!)

Write a book review


Author Biography - Robin Milner

David MacQueen is Professor of Computer Science at the University of Chicago.

Boomerang Bucks close

For every $20 you spend on books, you will receive $1 in Boomerang Bucks loyalty dollars. You can use your Boomerang Bucks as a credit towards a future purchase from Boomerang Books. Note that you must be a Member (free to sign up) and that conditions do apply.

Recent books by Robin Milner close
Computing Tomorrow by Robin Milner
Space and Motion of Communicating Agents by Robin Milner
Space and Motion of Communicating Agents by Robin Milner
Communicating and Mobile Systems by Robin Milner
Communicating and Mobile Systems by Robin Milner
Computing Tomorrow by Robin Milner
»
Recent books by Mads Tofte close
Proof, Language and Interaction by Mads Tofte
»
Recent books by Robert Harper close
Practical Foundations for Programming Languages by Robert Harper
Guide to Rational Living by Robert Harper
»
BoomerangBooks.com.au close