Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. In computer science, administrative normal form (abbreviated ANF) is a canonical form of programs, which was introduced by Flanagan et al. 1993 to serve as an intermediate representation in functional compilers to make subsequent transformations to machine code more direct. In ANF, ...Full description
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. In computer science, administrative normal form (abbreviated ANF) is a canonical form of programs, which was introduced by Flanagan et al. 1993 to serve as an intermediate representation in functional compilers to make subsequent transformations to machine code more direct. In ANF, all arguments to a function must be trivial. That is, evaluation of each argument must halt immediately. Variants of ANF used in compilers or in research often allow constants, records, tuples, multiargument functions, primitive operations and conditional expressions as well.