The Definition of Standard ML
2nd Revised edition
Definition of Standard ML by Robin Milner
Book DescriptionStandard 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 DetailsISBN: 9780262631815
(224mm x 173mm x 10mm)
Imprint: MIT Press
Publisher: MIT Press Ltd
Publish Date: 2-Jul-1997
Country of Publication: United States
Books By Author Robin Milner
Space and Motion of Communicating Agents, Hardback (March 2009)
Robin Milner presents a unified structural theory for modelling networks of agents that is destined to have far-reaching significance.
Computing Tomorrow, Paperback (March 2009)
Collection of essays dealing with the future of computer science as a research subject.
Communicating and Mobile Systems, Paperback (May 1999)» View all books by Robin Milner
First account of new theory of communication in computing which describes networks, as well as parts of computer systems.
» 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!)
Author Biography - Robin Milner
David MacQueen is Professor of Computer Science at the University of Chicago.
Bestselling Books: Our Current Bestsellers | Australia's Hottest 1000 Books | Bestselling Fiction | Bestselling Crime Mysteries and Thrillers | Bestselling Non Fiction Books | Bestselling Sport Books | Bestselling Gardening and Handicrafts Books | Bestselling Biographies | Bestselling Food and Drink | Bestselling History | Bestselling Travel Books | Bestselling School Textbooks & Study Guides | Bestselling Children's General Non-Fiction | Bestselling Young Adult Fiction | Bestselling Children's Fiction | Bestselling Picture Books | Top 100 US Bestsellers
Phone: 1300 36 33 32 (9am-2pm Mon-Fri AEST) - International: +61 2 9960 7998 - Online Form
Address: Boomerang Books, 878 Military Road, Mosman Junction, NSW, 2088
© 2003-2016. All Rights Reserved. Eclipse Commerce Pty Ltd - ACN: 122 110 687 - ABN: 49 122 110 687
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.