Abstract Computing Machines - A Lambda Calculus Perspectives (Relié)

This book takes a a-calculus approach to organizing computations. It sets out with a brief introduction to ?-calculus, describes a variant of the classical SECSD-machine as a basic interpreter for the ?-calculus, and in the main part continues with fully normalizing abstract ?-calculus machines, of which some are interpreting and some execute compiled code.The classical functional abstract machines are introduced as their weakly normalizing counterparts, and abstract machines for classical imperative languages are shown to derive from them by admitting side-effecting operations.