Can I read Efficient Local Type Inference on EtoBox?

Efficient Local Type Inference by Bellamy, Ben ;Avgustinov, Pavel ;de Moor, Oege ;Sereni, Damien is a Computer Science article available to read on EtoBox.

What is Efficient Local Type Inference about?

Inference of static types for local variables in Java bytecode is the first step of any serious tool that manipulates bytecode, be it for decompilation, transformation or analysis. It is important, therefore, to perform that step as accurately and efficiently as possible. Previous work has sought to give solutions with good worst-case complexity. We present a novel algorithm, which is optimised for the common case rather than worst-case performance. It works by first finding a set of minimal typings that are valid for all assignments, and then checking whether these minimal typings satisfy all uses. Unlike previous algorithms, it does not explicitly build a data structure of type constraints, and it is easy to implement efficiently. We prove that the algorithm produces a typing that is both sound (obeying the rules of the language) and as tight as possible. We then go on to present extensive experiments, comparing the results of the new algorithm against the previously best known method. The experiments include bytecode that is generated in other ways than compilation of Java source. The new algorithm is always faster, typically by a factor 6, but on some real benchmarks the gain i

Who reads Efficient Local Type Inference?

Author

Bellamy, Ben ;Avgustinov, Pavel ;de Moor, Oege ;Sereni, Damien

Publisher

Association for Computing Machinery (ACM)

Published

2008

Language

EN

Field

Computer Science (Physical Sciences)