Cool: A Control-Flow Generator for System Analysis
暂无分享,去创建一个
[1] Christopher W. Fraser,et al. Automatic generation of fast optimizing code generators , 1988, PLDI '88.
[2] Tiziana Margaria,et al. Graphs in METAFrame: The Unifying Power of Polymorphism , 1997, TACAS.
[3] Bernhard Steffen,et al. DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation , 1996, TACAS.
[4] Martin Alt,et al. Generation of Efficient Interprocedural Analyzers with PAG , 1995, SAS.
[5] G. T. Nicol,et al. Flex : the lexical scanner generator , 1993 .
[6] Rance Cleaveland,et al. A Front-End Generator for Verification Tools , 1995, TACAS.
[7] Steven W. K. Tjiang,et al. Sharlit—a tool for building optimizers , 1992, PLDI '92.