Department of Computer Science College of Informatics Huazhong Agriculture University Wuhan China;
Abstracts; Algorithm design and analysis; Complexity theory; Conferences; Flow graphs; Reactive power; Semantics; path sensitive; program slicing; static analysis;
机译:在并发程序中查找程序切片的这种敏感的指向分析技术的实现
机译:Bebop:路径敏感的过程间数据流引擎
机译:基于数据流程序分析的MPEG RVC解码器的并发性
机译:基于DataFlow信息和程序切片的路径敏感分析
机译:Web应用程序的路径敏感静态程序分析。
机译:DataFlow编程用于分析AVIS分析和可视化软件应用程序
机译:基于整个程序路径的数据流频率分析