| 000 | 00844camuu2200253 a 4500 | |
| 001 | 000045328701 | |
| 005 | 20070209144207 | |
| 008 | 980504s1998 enk b 001 0 eng | |
| 010 | ▼a 98020462 | |
| 020 | ▼a 0521594146 (hardbound) | |
| 024 | 3 1 | ▼a 9780521594141 |
| 035 | ▼a (KERIS)REF000004712038 | |
| 040 | ▼a DLC ▼c DLC ▼d DLC ▼d 211009 | |
| 050 | 0 0 | ▼a QA76.7 ▼b .R495 1998 |
| 082 | 0 0 | ▼a 005.13 ▼2 22 |
| 090 | ▼a 005.13 ▼b R463t | |
| 100 | 1 | ▼a Reynolds, John C. , ▼d 1935-. |
| 245 | 1 0 | ▼a Theories of programming languages / ▼c John C. Reynolds. |
| 260 | ▼a Cambridge ; ▼a New York : ▼b Cambridge University Press , ▼c 1998. | |
| 300 | ▼a xii, 500 p. ; ▼c 26 cm. | |
| 504 | ▼a Includes bibliographical references (p. 467-482) and index. | |
| 650 | 0 | ▼a Programming languages (Electronic computers) |
| 945 | ▼a KINS |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 005.13 R463t | 등록번호 121140086 (8회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
책소개
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.
This text is perfect for advanced undergraduate and beginning graduate courses in programming language theory.
정보제공 :
목차
Preface; 1. Predicate Logic; 2. The Simple Imperative Language; 3. Programme Specifications and their Proofs; 4. Arrays; 5. Failure, Input-Output and Continuations; 6. Transition Semantics; 7. Nondeterminism and Guarded Commands; 8. Shared-variable Concurrency; 9. Communicating Sequential Processes; 10. The Lambda Calculus; 11. An Eager Functional Language; 12. Continuations in a Functional Language; 13. Iswim-like Languages; 14. A Normal-order Language; 15. The Simple Type System; 16. Subtypes and Intersection Types; 17. Polymorphism; 18. Module Specification; 19. Algol-like Languages; Appendices; Bibliography; Index.
정보제공 :