Introduction to the Theory of Programming Languages

• Main Authors: Dowek, Gilles (Author), Lévy, Jean-Jacques (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: London : Springer London : Imprint: Springer, 2011.
• Series: Undergraduate Topics in Computer Science,
• Subjects: Computer science.; Computers.; Computer logic.; Computer Science.; Theory of Computation.; Logics and Meanings of Programs.

The design and implementation of programming languages, from Fortran and Cobol to Caml and Java, has been one of the key developments in the management of ever more complex computerized systems. Introduction to the Theory of Programming Languages gives the reader the means to discover the tools to t...

Table of Contents:

• 1. Terms and Relations
• 2. The Language PCF
• 3. From Evaluation to Interpretation
• 4. Compilation
• 5. PCF with Types
• 6. Type Inference
• 7. References and Assignment
• 8. Records and Objects
• 9. Epilogue
• 10. Index
• 11. Bibliography.