Reversible Programming Techniques for Shortest-Path Algorithms.

Lanying Guo, Chao Peng, Siyuan Chen, Cheng He

Browse the full IPCCC paper archive.