BlinkFill: Semi-supervised Programming By Example for Syntactic String Transformations
Version Space Algebra and its Application to Programming by Demonstration