Articles liés à The Definition of Standard Ml
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
David MacQueen is Professor of Computer Science at the University of Chicago.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 33,54
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour The Definition of Standard Ml
Image fournie par le vendeur
The Definition of Standard ML, revised edition
impression à la demandeVendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. N° de réf. du vendeur 581565939
Quantité disponible : Plus de 20 disponibles
Image d'archives
The Definition of Standard ML
impression à la demandeVendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur IQ-9780262631815
Quantité disponible : 15 disponible(s)
Image fournie par le vendeur
Definition of Standard ML (Paperback or Softback)
Edité par
Mit Press 5/21/1997, 1997
ISBN 10 : 0262631814
ISBN 13 : 9780262631815
Neuf
Paperback or Softback
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback or Softback. Etat : New. Definition of Standard ML 0.5. Book. N° de réf. du vendeur BBS-9780262631815
Quantité disponible : 5 disponible(s)
Image d'archives
The Definition of Standard ML
impression à la demandeVendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur IQ-9780262631815
Quantité disponible : 15 disponible(s)
Image fournie par le vendeur
The Definition of Standard ML
Vendeur : Rarewaves.com UK, London, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. revised edition. N° de réf. du vendeur LU-9780262631815
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
The Definition of Standard ML
Vendeur : Rarewaves USA, OSWEGO, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. revised edition. N° de réf. du vendeur LU-9780262631815
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
The Definition of Standard ML
Vendeur : Rarewaves USA United, OSWEGO, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. revised edition. N° de réf. du vendeur LU-9780262631815
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Definition of Standard Ml
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 483871-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
The Definition of Standard ML, revised edition
impression à la demandeVendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9780262631815
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
The Definition of Standard ML
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. revised edition. N° de réf. du vendeur LU-9780262631815
Quantité disponible : Plus de 20 disponibles