Hidden Bibliographic Details
ISBN: | 9783540273592 354027359X 3540211462 (hd. bd.) 9783540211464 (hd. bd.) 6611329765 9786611329761
|
Notes: | Includes bibliographical references (p. [369]-375) and index. Description based on print version record.
|
Summary: | "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 fully 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."--Jacket.
|
Other form: | Print version: Kluge, Werner (Werner E.). Abstract computing machines. Berlin ; New York : Springer, c2005 3540211462 9783540211464
|