Introduction to the Theory of Programming Languages

• Κύριοι συγγραφείς: Dowek, Gilles (Συγγραφέας), Lévy, Jean-Jacques (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London : Imprint: Springer, 2011.
• Σειρά: Undergraduate Topics in Computer Science,
• Θέματα: 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...

Πίνακας περιεχομένων:

• 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.