A Program Model and Knowledge Base for Computer Aided Program Synthesis.

Richard J. Wood

Browse the full AAAI paper archive.