The Definition of Standard ML - Revised

Valutazione media 3,7
( su 10 valutazioni fornite da Goodreads )
 
9780262631815: The Definition of Standard ML - Revised

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

About the Author:

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

1.

Robin Milner; Robert Harper; David MacQueen; Mads Tofte
Editore: The MIT Press (1997)
ISBN 10: 0262631814 ISBN 13: 9780262631815
Nuovi Paperback Quantità: 1
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro The MIT Press, 1997. Paperback. Condizione libro: New. Codice libro della libreria SONG0262631814

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 23,37
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,40
In U.S.A.
Destinazione, tempi e costi

2.

Robin Milner, Robert Harper, David Macqueen
Editore: MIT Press Ltd, United States (1997)
ISBN 10: 0262631814 ISBN 13: 9780262631815
Nuovi Paperback Quantità: 10
Print on Demand
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press Ltd, United States, 1997. Paperback. Condizione libro: New. revised edition. Language: English . Brand New Book ***** Print on Demand *****. 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. Codice libro della libreria APC9780262631815

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 30,49
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

3.

Robin Milner, Robert Harper, David Macqueen
Editore: MIT Press Ltd, United States (1997)
ISBN 10: 0262631814 ISBN 13: 9780262631815
Nuovi Paperback Quantità: 10
Print on Demand
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press Ltd, United States, 1997. Paperback. Condizione libro: New. revised edition. Language: English . Brand New Book ***** Print on Demand *****.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. Codice libro della libreria APC9780262631815

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 30,70
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

4.

Robin Milner
Editore: MIT Press (1997)
ISBN 10: 0262631814 ISBN 13: 9780262631815
Nuovi Quantità: > 20
Print on Demand
Da
Pbshop
(Wood Dale, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro MIT Press, 1997. PAP. Condizione libro: New. New Book.Shipped from US within 10 to 14 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice libro della libreria IP-9780262631815

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 27,57
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,40
In U.S.A.
Destinazione, tempi e costi

5.

Milner, Robin
Editore: The MIT Press (2017)
ISBN 10: 0262631814 ISBN 13: 9780262631815
Nuovi Paperback Quantità: 13
Print on Demand
Da
Murray Media
(North Miami Beach, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro The MIT Press, 2017. Paperback. Condizione libro: New. This item is printed on demand. Codice libro della libreria 0262631814

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 30,48
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,55
In U.S.A.
Destinazione, tempi e costi

6.

Milner, Robin; Harper, Robert; MacQueen, David; Tofte, Mads
Editore: The MIT Press (1997)
ISBN 10: 0262631814 ISBN 13: 9780262631815
Nuovi Paperback Quantità: 5
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro The MIT Press, 1997. Paperback. Condizione libro: New. Codice libro della libreria INGM9780262631815

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 30,87
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,40
In U.S.A.
Destinazione, tempi e costi

7.

Robin Milner
Editore: MIT Press (1997)
ISBN 10: 0262631814 ISBN 13: 9780262631815
Nuovi Quantità: > 20
Print on Demand
Da
Books2Anywhere
(Fairford, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press, 1997. PAP. Condizione libro: New. New Book. Delivered from our US warehouse in 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND.Established seller since 2000. Codice libro della libreria IP-9780262631815

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 24,78
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 10,07
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

8.

Robin Milner; Robert Harper; David MacQueen; Mads Tofte
ISBN 10: 0262631814 ISBN 13: 9780262631815
Nuovi Quantità: > 20
Print on Demand
Da
BWB
(Valley Stream, NY, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. This item is Print on Demand - Depending on your location, this item may ship from the US or UK. Codice libro della libreria POD_9780262631815

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 35,20
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

9.

Robert Harper
Editore: Mit Press
ISBN 10: 0262631814 ISBN 13: 9780262631815
Nuovi Paperback Quantità: 20
Da
BuySomeBooks
(Las Vegas, NV, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Mit Press. Paperback. Condizione libro: New. Paperback. 128 pages. Dimensions: 8.8in. x 6.7in. x 0.5in.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. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. Codice libro della libreria 9780262631815

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 32,46
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,37
In U.S.A.
Destinazione, tempi e costi

10.

Robin Milner; Robert Harper; David MacQueen; Mads Tofte
Editore: The MIT Press (1997)
ISBN 10: 0262631814 ISBN 13: 9780262631815
Nuovi Paperback Quantità: 1
Da
Irish Booksellers
(Rumford, ME, U.S.A.)
Valutazione libreria
[?]

Descrizione libro The MIT Press, 1997. Paperback. Condizione libro: New. book. Codice libro della libreria 0262631814

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 38,21
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro