Introduction to the Theory of Programming Languages

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Dowek, Gilles (Autor), Lévy, Jean-Jacques (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London : Springer London : Imprint: Springer, 2011.
Edición:1st ed. 2011.
Colección:Undergraduate Topics in Computer Science,
Temas:
Computer science.
Theory of Computation.
Computer Science Logic and Foundations of Programming.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares