• 围裙

• 66篇参考文献[ SW000 045 ]
• 围裙：数字图书馆摘要 域用于静态分析。本文介绍了围裙…程序的数值变量摘要解释。它的目标是三重：提供分析实施者与…鼓励数字研究摘要 域通过提供一个整合和比较的平台…传播知识的演示工具摘要解释…

• 八角形

• 61篇参考文献[SW13702]
• 八角形摘要 域图书馆是一个自由的图书馆，用来操纵特殊的多面体叫做…图书馆以静态分析为目标摘要解释（找一个简短的介绍…题为八角形的文章摘要 域. 这个图书馆是一个正在进行中的工作…

• 内根

• 152篇参考文献[ SW0667 9]
• 摘要规则描述了自动网格生成器NETGEN的算法。这个域…正面方法。重点放在摘要元素生成规则的结构。几个…

• 方阵

• 14篇参考文献[SW13708]
• 介绍一种参数分割方法摘要 域函数的全自动和可扩展的分析…无痛高效解除现有摘要 域对于标量变量进行分析…由绑定表达式集限定抽象的均匀地。所有象征性的表达出现…

• 科斯卡尔

• 26篇参考文献[SW13076]
• 迹等价）摘要语义的域. COCASL因此成为一个元框架…

• 狐盒

• 16篇参考文献[SW0307]
• 模板参数提供摘要 域类型目前，FXBOX可以用SACLIB编译…

• 维拉斯科

• 12篇参考文献[ SW1995 85 ]
• 摘要解读并结合几个摘要 域非关系（整数区间，浮点区间，整数…

• 包装

• 6篇参考文献[SW21178]
• 盒子：象征性的摘要 域盒子里。数字的摘要 域广泛应用于程序…不敏感的分析这个问题是由域精细化，例如有限幂集，提供…表示和操纵的有效方式摘要价值观。使用“集合”的简单方法展示盒子的实现摘要 域-一个著名的细化…

• 帕加伊

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

• 格拉维兹

• 80篇参考文献[ SW01283]
• 将结构信息表示为摘要图形和网络。它有重要的应用…其他技术的可视接口域…

• TPLIB

• 6篇参考文献[SW10843]
• 相反地。它还提供了一个摘要 域基于热带多面体，推导出最小/最大不变量。

• 杰西

• 4篇参考文献[SW30521]
• JavaScript解释器。杰西使用小说摘要 域计算类型的约化乘积…新灵敏度实验平台摘要 域和客户端分析的JavaScript…

• 果洛

• 168篇参考文献[SW02159]
• GOOG:一种动态的逻辑程序设计语言域. 提出了一种新的逻辑程序设计方法。写在一个更高的水平抽象化比通常可能的要多。语言出现了…

• 二甲基吡咯烷酮

• 8篇参考文献[SW1752]
• 使用PETSC DMPPLEX。复合词的使用抽象化允许应用新的和已建立的…PETSC-DMPPLEX的组成域拓扑抽象化用火炮自动化有限元系统…支持各种网格输入格式和运行时域分解。特别是，我们描述了如何DMPlex…

• 卡提格

• 5篇参考文献[SW23 310]
• 基于CEGA的验证方法改进摘要 域基于完整的反例痕迹。有限的…关注个别州建议更简单抽象化-细化方案，其中进行细化。

• 慈白

• 4篇参考文献[SW26821]
• 摘要语义与底层摘要 域一个混叠分析和八边形的组合…

• 功能

• 2篇参考文献[SW23 309]
• 函数：一个摘要 域终止符。功能是一种设计静态分析仪的研究样机。终止的充分前提条件摘要…解释。它结合了各种各样的摘要 域为了平衡精度…

• 伊科斯

• 3篇参考文献[SW14865 ]
• 如代码解析、模型开发、摘要 域管理、结果管理和分析策略…

• 艾肯法

• 3篇参考文献[SW14136]
• 语法树的编码摘要 域作为向量和矩阵{PAR}一个直截了当的…

• LMS

• 4篇参考文献[SW986]
• 好的软件工程实践需要泛化。抽象化而高性能需要专业化和具体化。水平，让程序员紧密结合域特异性的抽象化并对生成过程进行优化。非常适合嵌入式开发域-特定语言（DSL），并已被用于开发…