MLton 20070826 ClosureConvert
Home  Index  
ClosureConvert is a translation pass from the SXML IntermediateLanguage to the SSA IntermediateLanguage.

Description

It converts an SXML program into an SSA program.

Defunctionalization is the technique used to eliminate Closures (see CejtinEtAl00).

Uses Globalize and LambdaFree analyses.

Implementation

[WWW]closure-convert.sig [WWW]closure-convert.fun

Details and Notes


Last edited on 2006-11-02 17:57:14 by MatthewFluet.