Proof Planning and Program Synthesis: A Survey

Julian Richardson

In his paper we first say a few words about proof planning, then summarise previous work applying proof planning to program synthesis, paying particular attention to the following: specification language and synthesis mechanism, language of derived programs, domain, platform, and level of automation. We contemplate the successes and difficulties of the different approaches, and speculate on directions for further research.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.