Graph-Based Shape Analysis Beyond Context-Freeness
Graph-Based Shape Analysis Beyond Context-Freeness
复制标题
超越上下文无关的基于图形的形状分析
DOI：
10.1007/978-3-319-92970-5_17
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Thomas Noll
中科院分区：
文献类型：
--
作者：
Hannah Arndt;Christina Jansen;Christoph Matheja;Thomas Noll
我们开发了一个形状分析的推理aboutrelational properties的数据结构。具体域和抽象域都用超图表示。分析是由用户自定义索引图文法参数化，以指导具体化和抽象。这种新颖的扩展上下文无关的图grammars.One强度的分析是，没有文物，除了语法需要从用户，它提供了一个高度的自动化模型，如平衡的二叉树与父指针，同时保留最理想的属性上下文无关的图grammars.One的复杂的数据结构是足够强大的。我们实现了我们的分析，并成功地将其应用到各种程序操纵AVL树，（双向链接）列表，以及两者的组合。
We develop a shape analysis for reasoning aboutrelational propertiesof data structures. Both the concrete and the abstract domain are represented by hypergraphs. The analysis is parameterized by user-suppliedindexed graph grammarsto guide concretization and abstraction. This novel extension of context-free graph grammars is powerful enough to model complex data structures such as balanced binary trees with parent pointers, while preserving most desirable properties of context-free graph grammars.One strength of our analysis is that no artifacts apart from grammars are required from the user; it thus offers a high degree of automation. We implemented our analysis and successfully applied it to various programs manipulating AVL trees, (doubly-linked) lists, and combinations of both.
登录
查看更多内容
DOI：
10.1007/978-3-662-54434-1_23
发表时间：
2017
期刊：
ArXiv
影响因子：
--
作者：
Christina Jansen;Jens Katelaan;Christoph Matheja;Thomas Noll;Florian Zuleger
通讯作者：
Florian Zuleger
DOI：
10.1007/978-3-319-96142-2_1
发表时间：
2018
期刊：
影响因子：
--
作者：
Hannah Arndt;Christina Jansen;Joost-Pieter Katoen;Christoph Matheja;Thomas Noll
通讯作者：
Thomas Noll
为指针操作程序的符号执行生成归纳谓词
影响因子：
3.7
作者：
Christina Jansen;Florian Göbe;T. Noll
通讯作者：
T. Noll
DOI：
10.1016/j.scico.2010.07.004
发表时间：
2012-08
期刊：
Sci. Comput. Program.
影响因子：
--
作者：
W. Chin;C. David;Huu Hai Nguyen;S. Qin
通讯作者：
W. Chin;C. David;Huu Hai Nguyen;S. Qin
Hyperedge 替换：语法和语言
DOI：
--
发表时间：
1992
期刊：
Lecture Notes in Computer Science
影响因子：
--
作者：
A. Habel
通讯作者：
A. Habel