Program Inversion in the Refinement Calculus.

Joakim von Wright

Published in: Inf. Process. Lett. (1991)

Keyphrases

computer programs
program execution
databases
neural network
test cases
image reconstruction
machine learning
automated deduction
step wise