Login / Signup
Characterizing Abstract Program Properties by Abduction.
Roberto Giacobazzi
Published in:
GULP-PRODE (1) (1994)
Keyphrases
</>
desirable properties
image processing
belief revision
structural properties
computer programs
databases
neural network
computer vision
case study
multiscale
imperative programs