Login / Signup
PLDI 2002: Extended static checking for Java.
Cormac Flanagan
K. Rustan M. Leino
Mark Lillibridge
Greg Nelson
James B. Saxe
Raymie Stata
Published in:
ACM SIGPLAN Notices (2013)
Keyphrases
</>
object oriented
open source
database applications
real world
web applications
operating system
development environment
cross platform
neural network
artificial intelligence
computer vision
high level
consistency checking