Technical correspondence: on nondeterministic programs


On Nondeterministic Programs [] A group at the Naval Research Laboratory has been studying the behavior of nondeterministic programs. We have been guided in this study by Dijkstra's A Discipline of Programming[l]. We have found a simple way to describe the possible behavior of such programs and we believe that it will prove enlightening to many… (More)
DOI: 10.1145/358468.383440

1 Figure or Table


  • Presentations referencing similar topics