Skip to Main content Skip to Navigation
New interface
Conference papers

Static Single Information Form for Abstract Compilation

Abstract : In previous work we have shown that more precise type analysis can be achieved by exploiting union types and static single assignment (SSA) intermediate representation (IR) of code.In this paper we exploit static single information (SSI), an extension of SSA proposed in literature and adopted by some compilers, to allow assignments of more precise types to variables in conditional branches. In particular, SSI can be exploited rather easily and effectively to infer more precise types in dynamic object-oriented languages, where explicit runtime typechecking is frequently used.We show how the use of SSI form can be smoothly integrated with abstract compilation, our approach to static type analysis. In particular, we define abstract compilation based on union and nominal types for a simple dynamic object-oriented language in SSI form with a runtime typechecking operator, to show how precise type inference can be.
Document type :
Conference papers
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Tuesday, July 4, 2017 - 5:45:37 PM
Last modification on : Friday, November 25, 2022 - 6:50:05 PM
Long-term archiving on: : Friday, December 15, 2017 - 1:27:54 AM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Davide Ancona, Giovanni Lagorio. Static Single Information Form for Abstract Compilation. 7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.10-27, ⟨10.1007/978-3-642-33475-7_2⟩. ⟨hal-01556212⟩



Record views


Files downloads