3 ms·
Here[1] is a note by Dijkstra that goes into formally constructing correct programs in a language with built in nondeterminism. Nondeterminism is a powerful too
by User23 2y ago
Here[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)