-
围裙
- 引用67篇文章[sw00045]
- 围裙:数字图书馆摘要 域用于静态分析。本文介绍围裙。。。程序的数值变量摘要解释。它的目标有三个:为分析实现者提供。。。鼓励数值研究摘要 域通过提供一个整合和比较的平台。。。传播知识的示范工具摘要翻译。。。
-
八角形
- 参考第61条【sw13702】
- 八角形摘要 域图书馆是一个自由的图书馆,用于操作特殊类型的多面体称为。。。库的目标是静态分析摘要翻译(找一个简短的介绍。。。题为八角形的文章摘要 域. 这个图书馆正在进行中。。。
-
FunArray公司
- 在14篇文章中引用[sw13708号]
- 介绍FunArray,参数分割摘要 域全自动和可伸缩分析函子。。。无痛高效提升现有摘要 域对于标量变量的分析。。。由一组绑定表达式和抽象的一致的。所有出现的符号表达式。。。
-
盒
- 参考6篇文章[sw21178]
- 盒子:象征摘要 域盒子。数字摘要 域广泛应用于程序。。。不敏感分析。这个问题由域改进,例如有限功率装置,它提供。。。表达和操作的有效方式摘要价值观。使用“集合”的简单方法。。。呈现方框的实现摘要 域-对著名的。。。
-
帕盖
- 参考6篇文章[sw13095]
- 枚举。它是参数化的摘要 域在使用中,迭代算法。。。各种分析算法和摘要 域,在个人基准上进行了广泛的实验。。。
-
克提格
- 参考6篇文章[sw23310]
- 基于CEGAR的验证方法改进了摘要 域基于完整的反例痕迹。有限的。。。关注个别州意味着更简单抽象-执行细化的细化方案。。。
-
DMPlex公司
- 引用9篇文章[sw17572]
- 使用PETSc DMPlex。复合材料的使用摘要新的应用允许。。。PETSc DMPlex的组成域拓扑学抽象使用Firedrake自动有限元系统。。。支持各种网格输入格式和运行时域分解。尤其是DMPlex,我们如何。。。
-
JSAI公司
- 引用4篇文章[sw30521]
- JavaScript解释器。JSAI使用小说摘要 域计算一个类型的约化积。。。新灵敏度实验平台,摘要 域,以及针对JavaScript的客户端分析。。。
-
果洛语
- 参考170篇文章[sw02159]
- GOLOG:一种动态的逻辑编程语言域. 本文提出了一种新的逻辑程序设计方法。。。写在更高层次的抽象比通常可能的要多。语言出现了。。。
-
功能
- 引用2篇文章[sw23309]
- 功能:An摘要 域终止函子。功能是一个研究原型静态分析仪设计。。。终止的充分先决条件)通过摘要... 解释。它结合了多种摘要 域为了平衡精度。。。
-
LMS公司
- 引用4篇文章[sw19986]
- 良好的软件工程实践需要泛化和抽象,而高性能要求专业化和具体化。。。级别,允许程序员紧密集成域-具体的摘要以及生成过程中的优化。。。非常适合开发嵌入式域-特定语言(DSL)已经被用来开发。。。