Abstract: Automated software synthesis, text-to-code (code-generation), can be an important aid to software developers. Developments in this area have existed practically since the advent of computing ...