机译:加权下推系统及其在过程间数据流分析中的应用
Computer Sciences Department, University of Wisconsin, United States;
interprocedural dataflow analysis; generalized pushdown reachability; meet-over-all-paths problem; weighted pushdown system;
机译:精确的过程间数据流分析及其在恒定传播中的应用
机译:可执行优化器中的过程间数据流分析
机译:带有推导的下推系统的可达性分析:在带引用调用的布尔程序中的应用
机译:加权下推系统及其在过程间数据流分析中的应用
机译:过程间数据流分析:别名分析。
机译:DataFlow编程用于分析AVIS分析和可视化软件应用程序
机译:加权下推系统及其在过程间数据流分析中的应用
机译:加权下推系统及其在过程间数据流分析中的应用