The Definition of Standard Ml

Valutazione media 3,7
( su 10 valutazioni fornite da GoodReads )
 
9780262631815: The Definition of Standard Ml

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.

I migliori risultati di ricerca su AbeBooks

1.

Robin Milner, Mads Tofte, Robert Harper
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. 2nd Revised edition. 224 x 170 mm. 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 33,57
Convertire valuta

Aggiungere al carrello

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

2.

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 I1-9780262631815

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 29,97
Convertire valuta

Aggiungere al carrello

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

3.

Robin Milner, Mads Tofte, Robert Harper
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. 2nd Revised edition. 224 x 170 mm. 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 33,77
Convertire valuta

Aggiungere al carrello

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

4.

Milner, Robin
Editore: The MIT Press (2017)
ISBN 10: 0262631814 ISBN 13: 9780262631815
Nuovi Paperback Quantità: 20
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 32,73
Convertire valuta

Aggiungere al carrello

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

5.

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 26,14
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 10,40
Da: Regno Unito a: 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 33,56
Convertire valuta

Aggiungere al carrello

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

7.

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 35,28
Convertire valuta

Aggiungere al carrello

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

8.

David MacQueen; Mads Tofte; Robert Harper; Robin Milner
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 41,53
Convertire valuta

Aggiungere al carrello

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

9.

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. revised edition. Codice libro della libreria DADAX0262631814

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 41,04
Convertire valuta

Aggiungere al carrello

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

10.

Milner, Robin; Harper, Robert; MacQueen, David; Tofte, Mads
Editore: The MIT Press
ISBN 10: 0262631814 ISBN 13: 9780262631815
Nuovi PAPERBACK Quantità: > 20
Da
Russell Books
(Victoria, BC, Canada)
Valutazione libreria
[?]

Descrizione libro The MIT Press. PAPERBACK. Condizione libro: New. 0262631814 Special order direct from the distributor. Codice libro della libreria ING9780262631815

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 38,66
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 6,49
Da: Canada a: U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro