ReverCSP: Time-Travelling in CSP Computations

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,...

Descripción completa

Detalles Bibliográficos
Autores principales: Galindo, Carlos, Nishida, Naoki, Silva, Josep, Tamarit, Salvador
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7342053/
http://dx.doi.org/10.1007/978-3-030-52482-1_14
_version_ 1783555353049300992
author Galindo, Carlos
Nishida, Naoki
Silva, Josep
Tamarit, Salvador
author_facet Galindo, Carlos
Nishida, Naoki
Silva, Josep
Tamarit, Salvador
author_sort Galindo, Carlos
collection PubMed
description 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.
format Online
Article
Text
id pubmed-7342053
institution National Center for Biotechnology Information
language English
publishDate 2020
record_format MEDLINE/PubMed
spelling pubmed-73420532020-07-09 ReverCSP: Time-Travelling in CSP Computations Galindo, Carlos Nishida, Naoki Silva, Josep Tamarit, Salvador Reversible Computation Article 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. 2020-06-17 /pmc/articles/PMC7342053/ http://dx.doi.org/10.1007/978-3-030-52482-1_14 Text en © Springer Nature Switzerland AG 2020 This article is made available via the PMC Open Access Subset for unrestricted research re-use and secondary analysis in any form or by any means with acknowledgement of the original source. These permissions are granted for the duration of the World Health Organization (WHO) declaration of COVID-19 as a global pandemic.
spellingShingle Article
Galindo, Carlos
Nishida, Naoki
Silva, Josep
Tamarit, Salvador
ReverCSP: Time-Travelling in CSP Computations
title ReverCSP: Time-Travelling in CSP Computations
title_full ReverCSP: Time-Travelling in CSP Computations
title_fullStr ReverCSP: Time-Travelling in CSP Computations
title_full_unstemmed ReverCSP: Time-Travelling in CSP Computations
title_short ReverCSP: Time-Travelling in CSP Computations
title_sort revercsp: time-travelling in csp computations
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7342053/
http://dx.doi.org/10.1007/978-3-030-52482-1_14
work_keys_str_mv AT galindocarlos revercsptimetravellingincspcomputations
AT nishidanaoki revercsptimetravellingincspcomputations
AT silvajosep revercsptimetravellingincspcomputations
AT tamaritsalvador revercsptimetravellingincspcomputations

Ejemplares similares