• 考虑

  • 参考7篇文章[sw08962]
  • 条件反射程序切片机。条件反射切片是静态和动态 切片哪个。。。维护和改进,包括重用、再工程和程序理解力。然而,相对来说很少有。。。
  • 如果-2.0

  • 引用46篇文章[sw03303号]
  • 专注于静态分析(如切片和抽象)这对于自动化。。。中间表示阻止分析动态系统。更确切地说,像object这样的原始操作。。。两者都是规范形式,如UML或编程像Java这样的语言不受支持。。。
  • 教唆

  • 引用3篇文章[sw31985]
  • 基于,动态帮助诊断Maude错误的分析器程序. 教唆使用切片自动。。。
  • 切片

  • 1条引用[sw29542]
  • 正确性切片,理想情况下应证明独立于混凝土编程语言和。。。框架动态和静态的程序内切片基于控制流程和程序依赖图。。。框架的一个图形表示程序满足某些结构和良好形式的性质。。。子目录Basic/),的正确性证明动态 切片(在子目录中动态的/),正确性证明。。。
  • 阿尼玛

  • 引用4篇文章[sw10101]
  • 本文提出了一个丰富而高度的动态参数化技术在痕量检测中的应用。。。,筛选或搜索在程序执行。。。实用算法,如程序步进机和更复杂的动态有助于。。。
  • J预测器

  • 引用5篇文章[sw23065]
  • Java预测分析工具。基于切片财产相关事件之间的因果关系。。。通过观察程序,即使没有遇到违规。。。用于并发的运行时分析程序在几部作品中。大多数人。。。结合动态与静态结构信息的相关性程序整齐。。。
  • 强力霉素

  • 1条引用[sw31719]
  • 每个基本块使用动态和控制流感知映射之间的虚拟。。。执行和程序分析遵循原始控制流程程序,正在生成状态。。。反向污染和切片无效。我们实现了一个基于虚拟机的混淆器的原型。。。
  • 差距

  • 引用2874篇文章[sw00320]
  • GAP是一个计算离散代数系统。。。
  • 炒作

  • 引用了271篇文章[sw00426]
  • hypre是一个解决方案的软件库。。。
  • 拉帕克

  • 在1641篇文章中引用[sw00503]
  • LAPACK是用Fortran 90编写的,它提供。。。
  • 岩浆

  • 在2917篇文章中引用[sw00540]
  • 计算机代数系统(CAS)。岩浆是一个大的。。。
  • 数学软件

  • 引用5933篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。