|
Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn Turbak, and
J. B. Wells
Functioning
without closure: Type-safe customized function representations for Standard
ML
In Proc. 6th Int'l Conf. Functional Programming, pages 14-25
ACM Press, 2001
The CIL compiler for core Standard ML compiles
whole SML programs using a novel typed intermediate
language that supports the generation of type-safe
customized data representations. In this paper, we
present empirical data comparing the relative
efficacy of several different customization
strategies for function representations. We develop
a cost model to interpret dynamic counts of
operations required for each strategy. One of our
results is data showing that compiling with a
function representation strategy that makes
customization decisions based on the presence or
absence of free variables of a function gives a 26%
improvement over a uniform closure representation.
We also present data on the relative effectiveness
of various representation pollution removal
strategies. We find that for the types of
representation pollution detected by our compiler,
pollution removal rarely provides any additional
benefit for the representation strategies and
benchmarks considered.
[ bib |
.pdf.gz |
.pdf |
.html ]
Back
This file has been generated by
bibtex2html 1.61
Copyright notice: The documents contained
in these pages are included by the contributing authors as a means to
ensure timely dissemination of scholarly and technical work on a
non-commercial basis. Copyright and all rights therein are maintained
by the authors or by other copyright holders, notwithstanding that
they have offered their works here electronically. It is understood that all persons copying this information will
adhere to the terms and constraints invoked by each author's
copyright. These works
may not be reposted without the explicit permission of the copyright
holder.
If you experience problems downloading any of the files above,
it is most likely because your browser does not handle compressed
files correctly.
In particular, Netscape might save the file in the compressed
gz-format with extension .ps or
.pdf (indicating postscript or PDF, resp.). You can work around this by saving the file,
renaming it to .ps.gz or .pdf.gz, and then
uncrompress it.
|
