a domain specific language for peephole optimization for JOOS compiler - View it on GitHub