Nondeterminism in Formal Specification

[zdw]

https://buttondown.email/hillelwayne/archive/nondeterminism-in-formal-specification/

[User23]

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/E...

[082349872349872 → User23]

further along those lines: https://en.wikipedia.org/wiki/UNITY_(programming_language)

(note that regexps can also —exponentially— leverage nondeterminism)