[an error occurred while processing this directive] [an error occurred while processing this directive]

Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

WHNF and the Lambda Calculus


Citation: Hans Tonino and Joost Visser, "Stepwise Refinement of an Abstract State Machine for WHNF-Reduction of lambda-Terms". Report 96-154, Faculty of Technical Mathematics and Informatics, Delft University of Technology, 1996.
Summary: A series of ASMs for finding the weak head normal form (WHNF) of an arbitrary term of the lambda-calculus is presented.
Subjects: (Other) Models of Computation
Download: PostScript, PDF, Compressed PostScript
Notes:  
[an error occurred while processing this directive]