OPT-METAFrame: A tool kit for program analysis and optimization (1984)

by DFA
Venue:In Proc. 2nd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'96), volume 1055 of LNCS