Abstract Computing Machines

A Lambda Calculus Perspective

Autor*innen

• Werner Kluge

Parameter

• 400 Seiten
• 14 Lesestunden

• Informatik & Programmierung

Mehr zum Buch

Focusing on the organization of computations, the book explores the interplay between algorithms and the essential mechanisms required for their execution on machines. By abstracting from specific programming languages and architectures, it utilizes lambda calculus as the foundational model for programming and execution. This approach allows for the design of various abstract machines, ensuring a correct implementation of algorithms.

• Sprache: Englisch
• Erscheinungsdatum: 2010
• Einband: Paperback