Reversible Programming Techniques for Shortest-Path Algorithms

Lanying Guo, Chao Peng, Siyuan Chen, Cheng He. Reversible Programming Techniques for Shortest-Path Algorithms. In 37th IEEE International Performance Computing and Communications Conference, IPCCC 2018, Orlando, FL, USA, November 17-19, 2018. pages 1-2, IEEE, 2018. [doi]

Abstract

Abstract is missing.