Extended Static Checking for Java.

Cormac Flanagan K. Rustan M. Leino Mark Lillibridge Greg Nelson James B. Saxe Raymie Stata

Published in: PLDI (2002)

Keyphrases

programming language
lightweight
databases
high level
object oriented
open source
source code
consistency checking
database
real time
artificial intelligence
search engine
information systems
data structure
development environment