ReverCSP: Time-Travelling in CSP Computations
ReverCSP: Time-Travelling in CSP Computations
复制标题
DOI：
10.1007/978-3-030-52482-1_14
复制
发表时间：
2020-06-17
期刊：
影响因子：
--
通讯作者：
Tamarit S
中科院分区：
文献类型：
--
作者：
Galindo C;Nishida N;Silva J;Tamarit S
本文介绍了reverCSP，一个工具，动画向前和向后CSP计算。这种反向计算的能力可以逐步完成或回溯到给定的期望的感兴趣状态。reverCSP允许我们以与发生顺序完全相同的顺序或因果一致的方式进行反向计算。因此，reverCSP是一个工具，可以特别有用的理解，分析和调试计算。reverCSP是一个可供社区公开使用的开源项目。我们描述了该工具及其功能，并提供了实现细节，以便可以为其他语言重新实现。
This paper presents reverCSP, a tool to animate both forward and backward CSP computations. This ability to reverse computations can be done step by step or backtracking to a given desired state of interest. reverCSP allows us to reverse computations exactly in the same order in which they happened, or also in a causally-consistent way. Therefore, reverCSP is a tool that can be especially useful to comprehend, analyze, and debug computations. reverCSP is an open-source project publicly available for the community. We describe the tool and its functionality, and we provide implementation details so that it can be reimplemented for other languages.
登录
查看更多内容
DOI：
10.1016/j.jlamp.2018.10.002
发表时间：
2019-01-01
影响因子：
0.9
作者：
Llorens, M.;Oliver, J.;Tamarit, S.
通讯作者：
Tamarit, S.
影响因子：
1.3
作者：
LANDAUER, R
通讯作者：
LANDAUER, R
DOI：
10.4204/eptcs.203.4
发表时间：
2016-01-01
影响因子：
--
作者：
Brown, Geoffrey;Sabry, Amr
通讯作者：
Sabry, Amr
影响因子：
0.5
作者：
Conserva Filho, M. S.;Oliveira, M. V. M.;Cavalcanti, Ana
通讯作者：
Cavalcanti, Ana
影响因子：
16.6
作者：
Elnozahy, EN;Alvisi, L;Johnson, DB
通讯作者：
Johnson, DB