Program Proving as Hand Simulation with a Little Induction.

Rod M. Burstall

Published in: IFIP Congress (1974)

Keyphrases

program synthesis
simulation models
simulation model
functional programs
website
logic programs
mathematical model
inductive logic programming
computer programs
programming environment
concept formation
program execution