Items related to The Definition of Standard ML Rev
Synopsis
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.
"synopsis" may belong to another edition of this title.
About the Authors
Robin Milner was Professor Emeritus of Computer Science at the University of Cambridge, UK, and Professor at the Informatics Forum in the University of Edinburgh.
Robert Harper is a Professor of Computer Science at Carnegie Mellon University.
David MacQueen is Professor of Computer Science at the University of Chicago.
Mads Tofte is Vice Chancellor, IT University of Copenhagen.
"About this title" may belong to another edition of this title.
- PublisherMIT Press
- Publication date1997
- ISBN 10 0262631814
- ISBN 13 9780262631815
- BindingPaperback
- LanguageEnglish
- Number of pages132
Other Popular Editions of the Same Title
Search results for The Definition of Standard ML Rev
Seller Image
Definition of Standard Ml
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 483871-n
Quantity: Over 20 available
Stock Image
The Definition of Standard ML Rev
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9780262631815
Quantity: 15 available
Seller Image
Definition of Standard Ml
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 483871
Quantity: Over 20 available
Stock Image
The Definition of Standard ML Rev
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9780262631815
Quantity: 15 available
Seller Image
Definition of Standard ML (Paperback or Softback)
Published by
Mit Press 5/21/1997, 1997
ISBN 10: 0262631814
ISBN 13: 9780262631815
New
Paperback or Softback
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Seller rating 5 out of 5 stars
Paperback or Softback. Condition: New. Definition of Standard ML 0.5. Book. Seller Inventory # BBS-9780262631815
Quantity: 5 available
Stock Image
The Definition of Standard ML - Revised
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. revised subsequent edition. 114 pages. 9.00x7.00x0.50 inches. In Stock. Seller Inventory # x-0262631814
Quantity: 2 available
Seller Image
Definition of Standard Ml
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 483871-n
Quantity: Over 20 available
Seller Image
The Definition of Standard ML, revised edition
Print on DemandSeller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. Seller Inventory # 9780262631815
Quantity: 1 available
Seller Image
Definition of Standard Ml
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 483871
Quantity: Over 20 available
Seller Image
The Definition of Standard ML, revised edition
Print on DemandSeller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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.Über den Autor. Seller Inventory # 581565939
Quantity: Over 20 available