Inferring Flow of Control in Program Synthesis by Example

Stefan Schrödl, Stefan Edelkamp. Inferring Flow of Control in Program Synthesis by Example. In Wolfram Burgard, Thomas Christaller, Armin B. Cremers, editors, KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings. Volume 1701 of Lecture Notes in Computer Science, pages 171-182, Springer, 1999. [doi]

Abstract

Abstract is missing.