Generating Verified Java Components through RESOLVE.

Hampton Smith Heather K. Harton David Frazier Raghuveer Mohan Murali Sitaraman

Published in: ICSR (2009)

Keyphrases

building blocks
java programs
machine learning
development environment
open source
programming language
multiscale
object oriented
database systems
high level
web applications
lightweight
knowledge base
database applications
computer vision
neural network
byte code