Proceedings:
Logic-Based Program Synthesis: State of the Art and Future Trends
Volume
Issue:
Papers from the 2002 AAAI Spring Symposium
Track:
Contents
Downloads:
Abstract:
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.
Spring
Papers from the 2002 AAAI Spring Symposium