|
Torben Amtoft and Franklyn Turbak
Faithful translations between
polyvariant flows and polymorphic types
Technical Report BUCS-TR-2000-01, Comp. Sci. Dept., Boston Univ.,
2000
Expanded full report of [74]. To appear
Fall 2000, but a DRAFT version is available.
Recent work has shown equivalences between
various type systems and flow logics.
Ideally, the translations upon which such
equivalences are based should be faithful
in the sense that information is not lost in
round-trip translations from flows to types and back
or from types to flows and back. Building on the work of
Nielson & Nielson and of Palsberg & Pavlopoulou,
we present the first faithful translations between
a class of finitary polyvariant flow analyses
and a type system supporting polymorphism
in the form of intersection and union types.
Additionally,
our flow/type correspondence solves several
open problems posed by Palsberg & Pavlopoulou:
(1) it expresses call-string based polyvariance
(such as k-CFA) as well as argument based polyvariance;
(2) it enjoys a subject reduction property
for flows as well as for types; and
(3) it supports a flow-oriented perspective
rather than a type-oriented one.
[ 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.
|
