Evan Tick Barton C. Massey James S. Larson Experience with the Super Monaco Optimizing Compiler. 141-169 1996 29 J. Log. Program. 1-3 db/journals/jlp/jlp29.html#TickML96