Gespeichert in:
| Weitere beteiligte Personen: | |
|---|---|
| Format: | E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge, Mass.
MIT Press
1997
|
| Links: | https://doi.org/10.7551/mitpress/2319.001.0001?locatt=mode:legacy |
| Abstract: | "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." |
| Umfang: | 1 Online-Ressource (xiii, 114 Seiten) Illustrationen |
| ISBN: | 0262287005 0585312095 9780262287005 9780585312095 |
Internformat
MARC
| LEADER | 00000cam a2200000Ma 4500 | ||
|---|---|---|---|
| 001 | ZDB-260-MPOB-2319 | ||
| 003 | MaCbMITP | ||
| 005 | 20190503073313.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 001114s1997 maua ob 001 0 eng d | ||
| 020 | |a 0262287005 | ||
| 020 | |a 0585312095 | ||
| 020 | |a 9780262287005 | ||
| 020 | |a 9780585312095 | ||
| 245 | 0 | 4 | |a The definition of standard ML |b revised |c Robin Milner, Mads Tofte, Robert Harper and David MacQueen |
| 264 | 1 | |a Cambridge, Mass. |b MIT Press |c 1997 | |
| 300 | |a 1 Online-Ressource (xiii, 114 Seiten) |b Illustrationen | ||
| 336 | |b txt | ||
| 337 | |b c | ||
| 338 | |b cr | ||
| 520 | 3 | |a "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." | |
| 700 | 1 | |a Milner, R. |d 1934-2010 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 0262631814 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9780262631815 |
| 966 | 4 | 0 | |l DE-91 |p ZDB-260-MPOB |q TUM_PDA_MPOB |3 MIT Press |u https://doi.org/10.7551/mitpress/2319.001.0001?locatt=mode:legacy |3 Volltext |
| 912 | |a ZDB-260-MPOB | ||
| 912 | |a ZDB-260-MPOB | ||
| 049 | |a DE-91 | ||
Datensatz im Suchindex
| DE-BY-TUM_katkey | ZDB-260-MPOB-2319 |
|---|---|
| _version_ | 1821493840180150272 |
| adam_text | |
| any_adam_object | |
| author2 | Milner, R. 1934-2010 |
| author2_role | |
| author2_variant | r m rm |
| author_facet | Milner, R. 1934-2010 |
| author_sort | Milner, R. 1934-2010 |
| building | Verbundindex |
| bvnumber | localTUM |
| collection | ZDB-260-MPOB |
| format | eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02444cam a2200289Ma 4500</leader><controlfield tag="001">ZDB-260-MPOB-2319</controlfield><controlfield tag="003">MaCbMITP</controlfield><controlfield tag="005">20190503073313.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">001114s1997 maua ob 001 0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262287005</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0585312095</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262287005</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780585312095</subfield></datafield><datafield tag="245" ind1="0" ind2="4"><subfield code="a">The definition of standard ML</subfield><subfield code="b">revised</subfield><subfield code="c">Robin Milner, Mads Tofte, Robert Harper and David MacQueen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass.</subfield><subfield code="b">MIT Press</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xiii, 114 Seiten)</subfield><subfield code="b">Illustrationen</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">"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."</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Milner, R.</subfield><subfield code="d">1934-2010</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">0262631814</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9780262631815</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-91</subfield><subfield code="p">ZDB-260-MPOB</subfield><subfield code="q">TUM_PDA_MPOB</subfield><subfield code="3">MIT Press</subfield><subfield code="u">https://doi.org/10.7551/mitpress/2319.001.0001?locatt=mode:legacy</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-260-MPOB</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-260-MPOB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield></record></collection> |
| id | ZDB-260-MPOB-2319 |
| illustrated | Illustrated |
| indexdate | 2025-01-17T11:04:52Z |
| institution | BVB |
| isbn | 0262287005 0585312095 9780262287005 9780585312095 |
| language | English |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource (xiii, 114 Seiten) Illustrationen |
| psigel | ZDB-260-MPOB TUM_PDA_MPOB ZDB-260-MPOB |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | MIT Press |
| record_format | marc |
| spelling | The definition of standard ML revised Robin Milner, Mads Tofte, Robert Harper and David MacQueen Cambridge, Mass. MIT Press 1997 1 Online-Ressource (xiii, 114 Seiten) Illustrationen txt c cr "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." Milner, R. 1934-2010 Erscheint auch als Druck-Ausgabe 0262631814 Erscheint auch als Druck-Ausgabe 9780262631815 |
| spellingShingle | The definition of standard ML revised |
| title | The definition of standard ML revised |
| title_auth | The definition of standard ML revised |
| title_exact_search | The definition of standard ML revised |
| title_full | The definition of standard ML revised Robin Milner, Mads Tofte, Robert Harper and David MacQueen |
| title_fullStr | The definition of standard ML revised Robin Milner, Mads Tofte, Robert Harper and David MacQueen |
| title_full_unstemmed | The definition of standard ML revised Robin Milner, Mads Tofte, Robert Harper and David MacQueen |
| title_short | The definition of standard ML |
| title_sort | definition of standard ml revised |
| title_sub | revised |
| work_keys_str_mv | AT milnerr thedefinitionofstandardmlrevised AT milnerr definitionofstandardmlrevised |