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:
Witness-finding can play a crucial role in the construction of correct software. In my view, constructing interpretations is a fundamental and central problem in formal software development, and it provides a wealth of opportunities for developing and applying witness-finding technology. My work aims for a software development framework within which witness-finding can be used to best advantage.
Spring
Papers from the 2002 AAAI Spring Symposium