Synthesizing Imperative Programs from Examples Guided by Static Analysis.

Sunbeom So, Hakjoo Oh

Browse the full SAS paper archive.