Using Program Transformation, Annotation, and Reflection to Certify a Java Type Resolution Function.

Victor L. Winter Carl Reinke Jonathan Guerrero

Published in: HASE (2014)

Keyphrases

java programs
semantic annotation
open source
source code
database
active learning
computer programs
high resolution
programming language
web applications
lightweight
piecewise linear
linear transformation
low resolution
multiple types