Login / Signup
Certifying a java type resolution function using program transformation, annotation, and reflection.
Victor L. Winter
Carl Reinke
Jonathan Guerrero
Published in:
Softw. Qual. J. (2016)
Keyphrases
</>
java programs
open source
databases
active learning
high resolution
web applications
programming language
source code
low resolution
image annotation
piecewise linear
computer programs
consequence finding
neural network
programming environment
sampling rate