"At Microsoft, we have invested significantly in the field of program synthesis, especially programming-by-examples ... languages," said NSF exec Nina Amla in yesterday's NSF article. "It signals a ...