Linear Constraints over Infinite Trees
Linear Constraints over Infinite Trees
复制标题
无限树上的线性约束
DOI：
10.1007/978-3-642-28717-6_27
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Dulma Rodriguez
中科院分区：
文献类型：
--
作者：
Martin Hofmann;Dulma Rodriguez
在本文中，我们考虑无限树上的线性算术约束，其节点用非负实数标记。这些限制是在面向对象程序的资源推断背景下出现的，但应该具有独立的意义。这些约束系统的可满足性是否是可判定的，目前尚无定论。然而，对于从应用程序到资源推理的受限片段，我们能够提供基于常规树的启发式决策过程。我们还观察到，在这些无限树上优化线性目标的相关问题属于凸优化领域。
In this paper we consider linear arithmetic constraints over infinite trees whose nodes are labelled with nonnegative real numbers. These constraints arose in the context of resource inference for object-oriented programs but should be of independent interest. It is as yet open whether satisfiability of these constraint systems is at all decidable. For a restricted fragment motivated from the application to resource inference we are however able to provide a heuristic decision procedure based on regular trees. We also observe that the related problem of optimising linear objectives over these infinite trees falls into the area of convex optimisation.
影响因子：
7.5
作者：
M. Hofmann;Dulma Rodriguez
通讯作者：
M. Hofmann;Dulma Rodriguez
二叉树的共归纳演算
影响因子：
1
作者：
Alexandra Silva;J. Rutten
通讯作者：
J. Rutten