Abstract Computing Machines A Lambda Calculus Perspective /

The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. It completely abstracts from concrete programming languages and machine architectures, taking inste...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Kluge, Werner (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:Texts in Theoretical Computer Science. An EATCS Series,
Temas:
Compilers (Computer programs).
Computer science.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Algorithms and Programs
  • An Algorithmic Language
  • The ?-Calculus
  • The se(m)cd Machine and Others
  • Toward Full-Fledged ?-Calculus Machines
  • Interpreted Head-Order Graph Reduction
  • The B-Machine
  • The G-Machine
  • The ?-red Machinery
  • Pattern Matching
  • Another Functional Abstract Machine
  • Imperative Abstract Machines
  • Real Computing Machines.

Ejemplares similares