John C. Reynolds, Reynolds John C.

Theories of Programming Languages

• Broschiertes Buch

Produktbeschreibung

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

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 516
• Erscheinungstermin: 30. November 2008
• Englisch
• Abmessung: 244mm x 170mm x 28mm
• Gewicht: 881g
• ISBN-13: 9780521106979
• ISBN-10: 0521106974
• Artikelnr.: 25906740

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.