Abstract Computing Machines

Publisher: Springer View: 74 times


  • ISBN:
  • 3540211462
  • Authors:
  • W. Kluge, Werner Kluge

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-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.

Download Links

  • http://hotfile.com/dl/19169924/fe7b97f/3540211462.rar.html

Tag Cloud / Keywords

abstract, calculus, lambda, machines, classical, normalizing, lambda calculus, abstract machines, the classical, classical functional abstract, functional abstract machines, the classical functional, execute compiled code, and some execute, some execute compiled, their weakly normalizing, weakly normalizing counterparts, admitting side effecting,

Related Items