∙ Noise Handling: If the user makes a small mistake in mostly correct specification, our system can still compute the likely solution and report the likely mistake. This paper makes the following contributions. 1. We describe a string programming/expression language that is expressive enough to...