SemRegex: A Semantics-Based Approach for Generating Regular Expressions from Natural Language Specifications
Compositional program synthesis from natural language and examples