Search the Library Catalogue
The Definition Of Standard Ml : Revised (Record no. 575208)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02228nam a22001937a 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 250709b |||||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9780262631815 |
| Paper back/Hardbound | pbk |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | eng |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.13 |
| Item number | MIL |
| 100 ## - MAIN ENTRY--AUTHOR NAME | |
| Personal name | Milner R. |
| 245 ## - TITLE STATEMENT | |
| Title | The Definition Of Standard Ml : Revised |
| Statement of responsibility, etc | /R. Milner |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication | Mass., |
| Name of publisher | Mit Press, Cambridge, |
| Year of publication | 1997 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | xiii, 114 pages : |
| Other physical details | illustrations,; |
| Dimensions | 25 cm. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc | Includes index |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | "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."<br/> |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Computer Science/programming Languages Computers Programming Languages C♯ Computers Programming Languages Java Computers Programming Languages Pascal Ml (Computer Program Language) |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | English Books |
| Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Full call number | Accession Number | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|
| Anna Centenary Library | Anna Centenary Library | 3RD FLOOR, A WING | 22.12.2010 | 005.13 MIL | 464180 | 09.07.2025 | English Books |