MLton 20051202

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

closure-convert.sig closure-convert.fun

## Details and Notes

Last edited on 2005-12-02 04:17:57 by StephenWeeks.