This site is a section of the E.W. Dijkstra Archive maintained at the University of Texas at Austin, presenting transcriptions of Dijkstra’s numbered EWD manuscripts. The page in question is EWD 667, an essay arguing against the idea of “natural language programming” and defending formal notation in programming.
The archive’s core offering is faithful transcription of Dijkstra’s writings, identified by their EWD numbers and preserved as text rather than as commentary or summary. Readers get the author’s own reasoning, examples, and rhetorical style, which makes the collection useful for quoting and for following the development of his thinking across documents.
It suits students and researchers in computing science, historians of the field, and programmers curious about foundational debates on language design, correctness, and the role of formalism. Because the material is argumentative and historically situated, it rewards readers with some background in programming languages and software engineering.
A practical approach is to start from a manuscript number or a known title, then read adjacent EWDs for context, since the essays often respond to earlier discussions. The plain HTML presentation is easy to cite and archive, though it offers no search aids or explanatory notes. Overall, it is a compact, authoritative source for Dijkstra’s own words.
评论与评分
0还没有评论，来写下第一条评价吧。