CURRENTLY SOLD OUT

The Definition of Standard ML by Mads Tofte, Robin Milner and Robert Harper (1990, Hardcover)

About this product

Product Information

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.

Product Identifiers

Publisher
MIT Press
ISBN-10
0262132559
ISBN-13
9780262132558
eBay Product ID (ePID)
1279573

Product Key Features

Author
Robert Harper, Robin Milner, Mads Tofte
Publication Name
Definition of Standard ML
Format
Hardcover
Language
English
Publication Year
1990
Type
Textbook
Number of Pages
114 Pages

Dimensions

Item Length
1.4in
Item Width
2.2in
Item Weight
10.6 Oz

Additional Product Features

Lc Classification Number
Qa76.73.M6m55 1990
Copyright Date
1990
Target Audience
Trade
Topic
Programming Languages / General
Lccn
89-027973
Dewey Decimal
005.13/3
Dewey Edition
20
Illustrated
Yes
Genre
Computers

Best Selling in Textbooks

See all

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Textbooks

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR by American Psychiatric Association (2022, Trade Paperback)
4.6 out of 5 stars based on 16 product ratings
$35.70 New
$32.99 Used
Leadership : Theory and Practice by Peter G. Northouse (2021, Trade Paperback, Revised edition)
5.0 out of 5 stars based on 1 product rating
$19.98 New
$10.00 Used
Teaching Good Learner Repertoires by Steve Ward (2013, Trade Paperback)
5.0 out of 5 stars based on 3 product ratings
$50.23 New
$14.99 Used
Self Heal by Design : The Role of Micro-organisms for Health by Barbara O'Neill (2018, Trade Paperback)
5.0 out of 5 stars based on 15 product ratings
$29.99 New
---- Used
Research Design : Qualitative, Quantitative, and Mixed Methods Approaches by J. David Creswell and John W. Creswell (2022, Trade Paperback)
4.2 out of 5 stars based on 5 product ratings
$20.98 New
$18.00 Used
Designing Data-Intensive Applications : The Big Ideas Behind Reliable, Scalable, and Maintainable Systems by Martin Kleppmann (2017, Trade Paperback)
4.9 out of 5 stars based on 17 product ratings
$18.24 New
$15.86 Used
Cognitive Behavior Therapy : Basics and Beyond by Judith S. Beck (2020, Hardcover)
5.0 out of 5 stars based on 4 product ratings
$19.80 New
$17.66 Used

Save on Textbooks

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Textbooks

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR Brand new
$32.00
Trending at $42.48
International Building Code IBC 2021 International Code Council Paperback
$49.99
Trending at $63.99
Spiral: Desk Reference to the Diagnostic Criteria from DSM-5-TR
$9.99
Trending at $12.20
International Code Council Ser.: 2021 International Residential
$52.49
Trending at $68.00
National Electrical Code Handbook, 2023 Edition
$62.99
Trending at $69.00
National Electrical Code (NEC) NFPA 70 2020 Edition Spiral USA STOCK
$33.90
Trending at $36.40

Shop by category

The Definition of Standard ML by Mads Tofte, Robin Milner and Robert Harper (1990, Hardcover)

About this product

Product Information

Product Identifiers

Product Key Features

Dimensions

Additional Product Features

Best Selling in Textbooks

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR by American Psychiatric Association (2022, Trade Paperback)

Leadership : Theory and Practice by Peter G. Northouse (2021, Trade Paperback, Revised edition)

Teaching Good Learner Repertoires by Steve Ward (2013, Trade Paperback)

Self Heal by Design : The Role of Micro-organisms for Health by Barbara O'Neill (2018, Trade Paperback)

Research Design : Qualitative, Quantitative, and Mixed Methods Approaches by J. David Creswell and John W. Creswell (2022, Trade Paperback)

Designing Data-Intensive Applications : The Big Ideas Behind Reliable, Scalable, and Maintainable Systems by Martin Kleppmann (2017, Trade Paperback)

Cognitive Behavior Therapy : Basics and Beyond by Judith S. Beck (2020, Hardcover)

Save on Textbooks

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR Brand new

International Building Code IBC 2021 International Code Council Paperback

Spiral: Desk Reference to the Diagnostic Criteria from DSM-5-TR

International Code Council Ser.: 2021 International Residential

National Electrical Code Handbook, 2023 Edition

National Electrical Code (NEC) NFPA 70 2020 Edition Spiral USA STOCK

You may also like

Harper Lee Hardcover Books

Harper Lee Hardcover Books in English

Hardcover Nonfiction Harper Lee Books

Karen Harper Fiction Hardcover Books

Fiction Hardcover Harper Lee Books

Nora Roberts Hardcover Books