Ebook Free Download : Abstract Computing Machines | This book takes a Lambda-calculus approach to organizing computations. It sets out with a brief introduction to Lambda-calculus, describes a variant of the classical secd-machine as a basic interpreter for the Lambda-calculus, and in
the main part continues with strongly normalizing abstract Lambda-calcu
lus 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
Ebook Free Download
www.ebook-freedownload.net
Related posts:
Comments