Login / Signup
Running Programs Backwards: The Logical Inversion of Imperative Computation.
Brian J. Ross
Published in:
Formal Aspects Comput. (1997)
Keyphrases
</>
automatic programming
logical properties
machine learning
information retrieval
decision trees
image sequences
java programs