This text-to-code problem may be thought of as a machine translation (MT) problem, where one aims to translate sentences in English to the formal language of LSCs.
standard statistical MT techniques rely on the assumption that textual requirements and code are aligned at a sentence level.