Program Representation Size in an Intermediate Language with Intersection and Union Types

OpenBU

Show simple item record

dc.contributor.author Dimock, Allyn en_US
dc.contributor.author Westmacott, Ian en_US
dc.contributor.author Muller, Robert en_US
dc.contributor.author Turbak, Franklyn en_US
dc.contributor.author Wells, J.B. en_US
dc.contributor.author Considine, Jeffrey en_US
dc.date.accessioned 2011-10-20T04:42:33Z
dc.date.available 2011-10-20T04:42:33Z
dc.date.issued 2001 en_US
dc.identifier.uri http://hdl.handle.net/2144/1623
dc.description.abstract 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. en_US
dc.description.sponsorship National Science Foundation (CCR-9417382, CISE/CCR ESS 9806747); Sun grant (EDUD-7826-990410-US); Faculty Fellowship of the Carroll School of Management, Boston College; U.K. Engineering and Physical Sciences Research Council (GR/L 36963, GR/L 15685) en_US
dc.language.iso en_US en_US
dc.publisher Boston University Computer Science Department en_US
dc.relation.ispartofseries BUCS Technical Reports;BUCS-TR-2001-002 en_US
dc.title Program Representation Size in an Intermediate Language with Intersection and Union Types en_US
dc.type Technical Report en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search OpenBU


Advanced Search

Browse

Deposit Materials