Static Single Information Form for Abstract Compilation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Static Single Information Form for Abstract Compilation


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.
Fichier principal
Vignette du fichier
978-3-642-33475-7_2_Chapter.pdf (286.5 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01556212 , version 1 (04-07-2017)





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⟩
47 View
59 Download



Gmail Facebook X LinkedIn More