...
机译:信息流分析的逻辑,以及用于简单命令程序的正向切片的应用程序
Department of Computing and Information Sciences, Kansas State University, Manhattan, KS 66506, USA;
abstract interpretation; denotational semantics; frame rule; hoare logic; information flow analysis; program slicing; strongest postcondition;
机译:逻辑程序的简单多项式基础度分析
机译:静态分析,用于以一种简单的命令式语言量化信息流
机译:自适应前后扩散流分析及其在图像处理中的应用
机译:通过约束逻辑程序分析命令式程序
机译:潜在流量计算机程序的开发和应用:在深度和中间水深的零和前进速度下确定第一和二阶波力
机译:DataFlow编程用于分析AVIS分析和可视化软件应用程序
机译:信息流分析的逻辑及其用于简单命令程序的正向切片的应用程序
机译:诊断的图论理论方法:逻辑规划和割集理论在反应堆和电路分析方面的应用