Generating java compiler optimizers using bidirectional CTL (2007)

by Ling Fang, Masataka Sassa
Venue:Information Processing Society of Japan Transactions on Programming, 48(10) (PRO