Theories of Programming Languages (Record no. 12228)

MARC details
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 PDF
Link text Click to Access the Online Book
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type e-Book
Suppress in OPAC
Holdings
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