• 围裙

• 引用67篇文章[sw00045]
• 围裙：数字图书馆摘要 域用于静态分析。本文介绍围裙。。。程序的数值变量摘要解释。它的目标有三个：为分析实现者提供。。。鼓励数值研究摘要 域通过提供一个整合和比较的平台。。。传播知识的示范工具摘要翻译。。。

• 八角形

• 参考第61条【sw13702】
• 八角形摘要 域图书馆是一个自由的图书馆，用于操作特殊类型的多面体称为。。。库的目标是静态分析摘要翻译（找一个简短的介绍。。。题为八角形的文章摘要 域. 这个图书馆正在进行中。。。

• Netgen公司

• 引用156篇文章[sw06679]
• 摘要规则。介绍了网格自动生成器NETGEN的算法。这个域... 正面法。重点是摘要元素生成规则的结构。几个。。。

• FunArray公司

• 在14篇文章中引用[sw13708号]
• 介绍FunArray，参数分割摘要 域全自动和可伸缩分析函子。。。无痛高效提升现有摘要 域对于标量变量的分析。。。由一组绑定表达式和抽象的一致的。所有出现的符号表达式。。。

• 科卡斯尔

• 参考第26条[sw13076]
• 跟踪等效）并提供摘要语义的域. CoCasl因此成为一个元框架。。。

• 狐狸盒

• 引用16条[sw00307]
• 模板参数提供摘要 域类型。目前，FOXBOX可以用SACLIB编译。。。

• 维拉斯科

• 参考12篇文章[sw19985]
• 摘要解释并结合了几个摘要 域，非相关（整数间隔、浮点间隔、整数。。。

• 盒

• 参考6篇文章[sw21178]
• 盒子：象征摘要 域盒子。数字摘要 域广泛应用于程序。。。不敏感分析。这个问题由域改进，例如有限功率装置，它提供。。。表达和操作的有效方式摘要价值观。使用“集合”的简单方法。。。呈现方框的实现摘要 域-对著名的。。。

• 帕盖

• 参考6篇文章[sw13095]
• 枚举。它是参数化的摘要 域在使用中，迭代算法。。。各种分析算法和摘要 域，在个人基准上进行了广泛的实验。。。

• 格拉夫维兹

• 引用81篇文章[sw01283]
• 将结构信息表示为摘要图形和网络。它有重要的应用。。。其他技术的可视化界面域...

• 克提格

• 参考6篇文章[sw23310]
• 基于CEGAR的验证方法改进了摘要 域基于完整的反例痕迹。有限的。。。关注个别州意味着更简单抽象-执行细化的细化方案。。。

• TPLib公司

• 参考6篇文章[sw10843]
• 反之亦然。它还提供了摘要 域基于热带多面体，推导出最小/最大不变量。。。

• DMPlex公司

• 引用9篇文章[sw17572]
• 使用PETSc DMPlex。复合材料的使用摘要新的应用允许。。。PETSc DMPlex的组成域拓扑学抽象使用Firedrake自动有限元系统。。。支持各种网格输入格式和运行时域分解。尤其是DMPlex，我们如何。。。

• JSAI公司

• 引用4篇文章[sw30521]
• JavaScript解释器。JSAI使用小说摘要 域计算一个类型的约化积。。。新灵敏度实验平台，摘要 域，以及针对JavaScript的客户端分析。。。

• 果洛语

• 参考170篇文章[sw02159]
• GOLOG：一种动态的逻辑编程语言域. 本文提出了一种新的逻辑程序设计方法。。。写在更高层次的抽象比通常可能的要多。语言出现了。。。

• 慈白

• 引用4篇文章[sw26821]
• 摘要语义及其基础摘要 域一个混叠分析和八角形的组合。。。

• 功能

• 引用2篇文章[sw23309]
• 功能：An摘要 域终止函子。功能是一个研究原型静态分析仪设计。。。终止的充分先决条件）通过摘要... 解释。它结合了多种摘要 域为了平衡精度。。。

• 宜家

• 引用3篇文章[sw14865]
• 比如代码解析，模型开发，摘要 域管理、结果管理和分析策略。。。

• 本征CFA

• 引用3篇文章[sw14136]
• 树的语法和编码摘要 域作为向量和矩阵。。。

• LMS公司

• 引用4篇文章[sw19986]
• 良好的软件工程实践需要泛化和抽象，而高性能要求专业化和具体化。。。级别，允许程序员紧密集成域-具体的摘要以及生成过程中的优化。。。非常适合开发嵌入式域-特定语言（DSL）已经被用来开发。。。