Shortest Path Algorithm Formal Program Documentation


The display method is a technique for documenting the design of a program and presenting it such that it can be reviewed in small, independent pieces. This paper uses the display method to present a reasonably complicated program: an implementation of Dijkstra’s ‘shortest path algorithm’. The number of displays required to document a program can sometimes… (More)


  • Presentations referencing similar topics