A combination framework for complexity
A combination framework for complexity
复制标题
复杂性的组合框架
DOI：
10.1016/j.ic.2015.12.007
复制
发表时间：
2013
影响因子：
--
通讯作者：
G. Moser
中科院分区：
文献类型：
--
作者：
Martin Avanzini;G. Moser
在本文中，我们提出了一个用于术语重写系统的自动多项式复杂度分析的组合框架。该框架涵盖了推导和运行时复杂性分析，并被用作自动化复杂性工具的理论基础。我们提出了强大的复杂性技术的概括，特别是复杂性对和（弱）依赖对的概括。最后，我们还提出了一种称为依赖图分解的新技术，该技术在依赖对设置中大大提高了模块性。
In this paper we present a combination framework for the automated polynomial complexity analysis of term rewrite systems. The framework covers bothderivationalandruntime complexityanalysis, and is employed as theoretical foundation in the automated complexity tool . We present generalisations of powerful complexity techniques, notably a generalisation ofcomplexity pairsand(weak) dependency pairs. Finally, we also present a novel technique, calleddependency graph decomposition, that in the dependency pair setting greatly increases modularity.
用于摊销堆空间分析的自动类型推断
DOI：
10.1007/978-3-642-37036-6_32
发表时间：
2013
期刊：
影响因子：
--
作者：
Martin Hofmann;Dulma Rodriguez
通讯作者：
Dulma Rodriguez