Program Synthesis Without Full Specifications for Novel Applications

Daniel Perelman. Program Synthesis Without Full Specifications for Novel Applications. PhD thesis, University of Washington, USA, 2015. [doi]

Abstract

Abstract is missing.