Second-Order Programs with Preconditions.

Markus Aderhold

Published in: Verification, Induction, Termination Analysis (2010)

Keyphrases

higher order
automatic programming
artificial intelligence
computer programs
programming environment
java programs
databases
reinforcement learning
search algorithm