Reversible Programming Techniques for Shortest-Path Algorithms | IEEE Conference Publication | IEEE Xplore