An algebraic approach to computations with progress
An algebraic approach to computations with progress
复制标题
渐进计算的代数方法
DOI：
10.1016/j.jlamp.2015.11.009
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Walter Guttmann
中科院分区：
文献类型：
--
作者：
Walter Guttmann
进展的概念出现在各种计算模型中，例如，以轨迹变长的形式，真实的时间的流逝，计数器递增，从终止到非终止。我们引入了一个模型的顺序计算，概括和抽象这些例子。我们概括现有的代数非终止执行和实例化这些与我们的模型。使用这些代数，我们推导出一个近似顺序的计算时间和基于轨迹的计算。我们引入了一个广义的欧米茄代数表示迭代的新模型。
The notion of progress appears in various computation models, for example, in the form of traces getting longer, passing of real time, incrementing a counter, going from termination to non-termination. We introduce a model of sequential computations that generalises and abstracts these examples. We generalise existing algebras for non-terminating executions and instantiate these with our model. Using these algebras we derive an approximation order for computations with time and for trace-based computations. We introduce a generalisation of omega algebras to express iteration in the new model.
DOI：
10.1007/978-3-642-14521-6_4
发表时间：
2010
期刊：
--
影响因子：
--
作者：
Cavalcanti A
通讯作者：
Cavalcanti A
使用 SMT 求解器扩展 Sledgehammer
DOI：
10.1007/s10817-013-9278-5
发表时间：
2013
期刊：
Journal of Automated Reasoning
影响因子：
--
作者：
Jasmin Christian Blanchette;Sascha Böhme;Lawrence C. Paulson
通讯作者：
Lawrence C. Paulson