[sitkack]

For those looking for the Teitelbaum paper mentioned above [0]

[0] The Cornell Program Synthesizer: A Syntax Directed Programming Environment https://core.ac.uk/download/pdf/21750999.pdf?repositoryId=14...