Theories of Programming Languages (Record no. 12228)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 01636nmm a2200181Ia 4500 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 220920s9999||||xx |||||||||||||| ||und|| |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9780511626364 |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 005.13 |
Item number | R33T |
100 ## - MAIN ENTRY--PERSONAL NAME | |
Personal name | Reynolds, John C. |
Relator term | Author |
Language of a work | English |
9 (RLIN) | 1813 |
245 #0 - TITLE STATEMENT | |
Title | Theories of Programming Languages |
Statement of responsibility, etc. | / by John C. Reynolds. |
Medium | [Electronic Resource] |
260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
Place of publication, distribution, etc. | Cambridge |
Name of publisher, distributor, etc. | : Cambridge University Press, |
Date of publication, distribution, etc. | 1998 |
300 ## - PHYSICAL DESCRIPTION | |
Extent | xii 500p. |
520 ## - SUMMARY, ETC. | |
Summary, etc. | First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving programme behaviour. Both imperative and functional programming are covered, as well as the ways of integrating these aspects into more general languages. Recognising a unity of technique beneath the diversity of research in programming languages, the author presents an integrated treatment of the basic principles of the subject. He identifies the relatively small number of concepts, such as compositional semantics, binding structure, domains, transition systems and inference rules, that serve as the foundation of the field. Assuming only knowledge of elementary programming and mathematics, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory and also will appeal to researchers and professionals in designing or implementing computer languages. |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Algorithmics |
9 (RLIN) | 15699 |
Topical term or geographic name entry element | Complexity |
9 (RLIN) | 15700 |
856 ## - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | <a href="https://doi.org/10.1017/CBO9780511626364">https://doi.org/10.1017/CBO9780511626364</a> |
Electronic format type | |
Link text | Click to Access the Online Book |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | e-Book |
Suppress in OPAC |
Withdrawn status | Lost status | Damaged status | Use restrictions | Not for loan | Collection | Home library | Current library | Shelving location | Date acquired | Source of acquisition | Cost, normal purchase price | Total Checkouts | Full call number | Barcode | Date last seen | Price effective from | Koha item type | Public note |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
e-Book For Access | Textbook | S. R. Ranganathan Learning Hub | S. R. Ranganathan Learning Hub | Online | 20/09/2022 | Infokart India Pvt. Ltd., New Delhi | 215.00 | 005.13 R33T | EB0368 | 20/09/2022 | 20/09/2022 | e-Book | Platform : Cambridge Core |