Shortest Path Algorithm Formal Program Documentation

Abstract

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)

Topics

  • Presentations referencing similar topics