Abstract Computing Machines

Más información sobre el libro

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.