Differences between revisions 3 and 5 (spanning 2 versions)
Revision 3 as of 2025-03-31 08:43:36
Size: 4965
Comment:
Revision 5 as of 2025-03-31 08:54:53
Size: 5028
Comment:
Deletions are marked like this. Additions are marked like this.
Line 6: Line 6:
 . [[ https://www.cs.utexas.edu/~EWD/ Archive ]]  . [[ https://www.cs.utexas.edu/~EWD/ | Archive ]]
Line 48: Line 48:
 .p175 [[ | EWD538 ]] A Collection of Beautiful Proofs

Selected Writings on Computing: A Personal Perspective

Edsger W. Dijkstra, Springer-Verlag 1982, PSU QA76.24.D54 1982

Many of the algorithms and methods are presented as (pseudo)code, which concatenates operations with semicolons and appears to use indents as flow control - perhaps. I did not take time to specifically understand them, beyond accepting without proof that structure can improve correctness.

]] [[ ]] [[ ]] [[

Dijkstra (last edited 2025-03-31 09:18:48 by KeithLofstrom)