Paper Info
Title
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.
Year
DOI
Venue
2012
10.1007/978-3-642-33475-7_2
IFIP TCS
Keywords
Field
DocType
union type,precise type analysis,abstract compilation,static type analysis,precise type inference,ssi form,precise type,static single information form,static single information,static single assignment,nominal type
Union type,Horn clause,Programming language,Computer science,Type inference,Exploit,Compiler,Symbolic execution,Operator (computer programming),Static single assignment form
Conference
Citations 
PageRank 
References 
5
0.53
13
Authors
2
Name
Order
Citations
PageRank
Davide Ancona172769.43
Giovanni Lagorio221217.98