Snaps by Chengnian Sun

Syntax-directed program reducer

2.7