Show simple item record

dc.contributor.authorAmtoft, Torbenen_US
dc.contributor.authorTurbak, Franklynen_US
dc.date.accessioned2011-10-20T05:09:45Z
dc.date.available2011-10-20T05:09:45Z
dc.date.issued2000-01-10en_US
dc.identifier.citationAmtoft, Torben; Turbak, Franklyn. "Faithful Translations between Polyvariant Flows and Polymorphic Types", Technical Report BUCS-2000-001, Computer Science Department, Boston University, January 10, 2000. [Available from: http://hdl.handle.net/2144/1796]en_US
dc.identifier.urihttp://hdl.handle.net/2144/1796
dc.description.abstractRecent 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.en_US
dc.description.sponsorshipNational Science Foundation (EIA–9806747)en_US
dc.language.isoen_USen_US
dc.publisherBoston University Computer Science Departmenten_US
dc.relation.ispartofseriesBUCS Technical Reports;BUCS-TR-2000-001en_US
dc.titleFaithful Translations between Polyvariant Flows and Polymorphic Typesen_US
dc.typeTechnical Reporten_US


Files in this item

This item appears in the following Collection(s)

Show simple item record