Reversible CSP Computations

Galindo, C; Nishida, N; Silva, J; Tamarit, S

Silva, J (corresponding author), Univ Politecn Valencia, Dept Sistemas Informat & Comp, Valencia 46022, Spain.

IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2021; 32 (6): 1425

Abstract

Reversibility enables a program to be executed both forwards and backwards. This ability allows programmers to backtrack the execution to a previous s......

Full Text Link