Higher-Order and Symbolic Computation

, Volume 20, Issue 3, pp 319–332

State-transition machines for lambda-calculus expressions


DOI: 10.1007/s10990-007-9012-2

Cite this article as:
Schmidt, D.A. Higher-Order Symb Comput (2007) 20: 319. doi:10.1007/s10990-007-9012-2


The process of compiler generation from lambda-calculus definitions is studied. The compiling schemes developed utilize as their object language the set of state transition machines (STMs): automata-like transition sets using first-order arguments. An intermediate definition form, the STM-interpreter, is treated as central to the formulation of STMs. Three compiling schemes are presented: one derived directly from an STM-interpreter for the lambda-calculus; one formulated from an STM-interpreter variant of Landin’s SECD-machine; and one defined through meaning-preserving transformations upon a denotational definition of the lambda-calculus. The results are compared and some tentative conclusions are made regarding the utility of compiler generation with the STM forms.


Lambda calculus State transition machine SECD-machine Weak-normal form Defunctionalization Continuations Denotational semantics 

Copyright information

© Springer Science+Business Media, LLC 2007

Authors and Affiliations

  1. 1.Computer Science DepartmentAarhus UniversityAarhusDenmark

Personalised recommendations