Guiding Synthesis Proofs.

Vincent Lombart Geraint A. Wiggins Yves Deville

Published in: LOPSTR (1993)

Keyphrases

program synthesis
theorem prover
theorem proving
data sets
texture synthesis
formal proofs
mathematical proofs
wide range
decision procedures
functional decomposition
functional programs