Specifying subtypes in SCJ programs.

Ghaith Haddad Gary T. Leavens

Published in: JTRES (2011)

Keyphrases

computer programs
multiresolution
database
real time
neural network
data mining
computer vision
decision making
case study
breast cancer
programming environment
intermediate level
application programs
cancer diagnosis
provably correct
prolog programs