John C. Reynolds

Theories of Programming Languages

• Gebundenes Buch

Produktbeschreibung

This text is perfect for advanced undergraduate and beginning graduate courses in programming language theory.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 514
• Erscheinungstermin: 11. Februar 2011
• Englisch
• Abmessung: 260mm x 183mm x 32mm
• Gewicht: 1154g
• ISBN-13: 9780521594141
• ISBN-10: 0521594146
• Artikelnr.: 21579022

Inhaltsangabe

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.