3 ms·
Nondeterminism in Formal Specification
- User23 2y agoHere[1] is a note by Dijkstra that goes into formally constructing correct programs in a language with built in nondeterminism. Nondeterminism is a powerful tool, not just a foot gun. [1] https://www.cs.utexas.edu/users/EWD/transcriptions/EWD04xx/EWD418.html https://www.cs.utexas.edu/users/EWD/transcriptions/EWD04xx/E...
- 082349872349872 2y agofurther along those lines: https://en.wikipedia.org/wiki/UNITY_(programming_language) https://en.wikipedia.org/wiki/UNITY_(programming_language) (note that regexps can also —exponentially— leverage nondeterminism)