Program Synthesis is “Just” Another Learning Problem

Logic-Based Program Synthesis: State of the Art and Future Trends

Volume

Papers from the 2002 AAAI Spring Symposium

Contents

We view processes of program synthesis as behavior realization problems, within the scope of computational learning theory. If potential program behavior could be finitely, completely specified, we believe we could infer and verify programs to be correct. But realistically lacking such complete specifications, we support current research in synthesis which we believe produces finite-state correct-program approximations.