"Formal symbolism allows programmers to exclude classes of nonsense that natural-language specifications can permit."
In EWD 667, Dijkstra argues that the restricted rules governing formal symbolic manipulation are an advantage because they eliminate classes of invalid expression that ordinary language allows. His argument directly supports the chapter's defense of formal representation as a tool for disciplined reasoning in software development.
View Source