Flow-Directed Closure Conversion for Typed Languages

Flow-Directed Closure Conversion for Typed Languages (2000)

by Henry Cejtin , Suresh Jagannathan , Stephen Weeks

Venue:	In ESOP '00 [ESOP00
Citations:	30 - 1 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Flow-Directed Closure Conversion for Typed Languages	user correction - Legacy Corrections
AUTHOR NAME	Henry Cejtin	user correction - Legacy Corrections
AUTHOR NAME	Suresh Jagannathan	user correction - Legacy Corrections
AUTHOR NAME	Stephen Weeks	user correction - Legacy Corrections
ABSTRACT	This paper presents a new closure conversion algorithm for simply-typed languages. We have have implemented the algorithm as part of MLton, a whole-program compiler for Standard ML (SML). MLton first applies all functors and eliminates polymorphism by code duplication to produce a simply-typed program. MLton then performs closure conversion to produce a first-order, simply-typed program. In contrast to typical functional language implementations, MLton performs most optimizations on the first-order language, after closure conversion. There are two notable contributions of our work: 1. The translation uses a general flow-analysis framework which includes OCFA. The types in the target language fully capture the results of the analysis. MLton uses the analysis to insert coercions to translate between different representations of a closure to preserve type correctness of the target language program. 2. The translation is practical. Experimental results over a range of benchmarks...	user correction - Legacy Corrections
YEAR	2000	INFERENCE
VENUE	In ESOP '00 [ESOP00	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	56--71	INFERENCE
VOLUME	1782	INFERENCE
CITATIONS	27 found	ParsCit 1.0