Property-preserving program refinement.

Yosuke Yamamoto

Published in: ASE (2012)

Keyphrases

desirable properties
database
computer programs
neural network
feature selection
denoising
program synthesis