|
Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn Turbak, J. B.
Wells, and Jeffrey Considine
Program
representation size in an intermediate language with intersection and union
types
Technical Report BUCS-TR-2001-02, Comp. Sci. Dept., Boston Univ.,
March 2001
This is a version of [64]
extended with an appendix describing the CIL typed intermediate language.
The CIL compiler for core Standard ML compiles whole
programs using a novel typed intermediate language
(TIL) with intersection and union types and flow
labels on both terms and types. The CIL term
representation duplicates portions of the program
where intersection types are introduced and union
types are eliminated. This duplication makes it
easier to represent type information and to
introduce customized data representations. However,
duplication incurs compile-time space costs that are
potentially much greater than are incurred in TILs
employing type-level abstraction or quantification.
In this paper, we present empirical data on the
compile-time space costs of using CIL as an
intermediate language. The data shows that these
costs can be made tractable by using sufficiently
fine-grained flow analyses together with standard
hash-consing techniques. The data also suggests
that non-duplicating formulations of intersection
(and union) types would not achieve significantly
better space complexity.
[ bib |
.ps |
.pdf ]
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.
|
