Extended Static Checking for Java.

Published in: MPC (2004)

Keyphrases

programming language
open source
computer vision
object oriented
distributed object
search engine
high level
relational databases
byte code