|
EWD number
|
Size (KB)
|
Title
|
|
| 300 |
104 |
Exit “The Programming Laboratory” |
|
| 301 |
45 |
Over de bewijsbaarheid van programmacorrectheid |
|
| 302 |
448 |
Design considerations in more detail |
|
| 303 |
427 |
On the reliability of programs |
|
| 306 |
81 |
Over het gewicht van een informatica-opleiding |
|
| 307 |
174 |
(over een voorgestelde configuratie van een P1400 en vier P880’s) |
|
| 308 |
87 |
Reisverslag bezoek van E.W.Dijkstra aan IFIP W.G.2.3 te Warwick, Engeland |
|
| 309 |
48 |
(over een voorgestelde configuratie van een P1400 en vier P880’s) |
|
| 310 |
1017 |
Hierarchical ordering of sequential processes |
|
| 311 |
91 |
[Review of] Bauer, Goos: “Informatik, Erster Teil” Heidelberger Taschenbuecher, Band 80 Springer Verlag, 1971 |
|
| 312 |
126 |
Verslag van reis van E.W.Dijkstra naar Noord Amerika |
|
| 316 |
2104 |
A short introduction to the art of programming |
|
| 316A |
155 |
Reisverslag van Edsger W.Dijkstra aan Summer School Marktoberdorf, juli 1971 |
|
| 317 |
255 |
On a methodology of design |
|
| 319 |
183 |
A class of allocation strategies inducing bounded delays only |
|
| 325 |
660 |
Poging tot plaatsbepaling van de Informatica |
|
| 329 |
55 |
Information streams sharing a finite buffer |
|
| 330 |
82 |
[Book review of: Bauer-Goos, Informatik, Zweiter Teil] |
|
| 338 |
201 |
Parallelism in multi-record transactions (with C.S.Scholten) |
|
| 340 |
473 |
The humble programmer |
|
| 341 |
87 |
[Toespraak over de noodzaak van programmeermethodologie] |
|
| 343 |
142 |
Reisverslag betreffende het bezoek aan de USA van 14 tot 30 mei 1972 door E.W.Dijkstra |
|
| 345 |
51 |
Ter zake van wiskundige modelvorming |
|
| 348 |
151 |
Verslag van de reis van E.W.Dijkstra naar Boston, 12–18 augustus 1972 |
|
| 349 |
118 |
Ontwikkelingsplan Informatica |
|
| 351 |
82 |
Verslag bezoek Engeland 30 augustus – 9 september 1972 |
|
| 353 |
81 |
Elementen ener afstudeerrichting in de informatica |
|
| 356 |
86 |
Advanced Course on Computer Systems Architecture (Grenoble, December 1972) |
|
| 360 |
967 |
On the Necessity of Correctness Proofs |
|
| 361 |
170 |
Programming as a discipline of mathematical nature |
|
| 362 |
154 |
Bezoek van E.W.Dijkstra aan l’Alpe d’Huez, 8–15 december 1972 |
|
| 363 |
103 |
Reisverslag E.W.Dijkstra: Open house on semantics, Aarhus, 7–18 jan. 1973 |
|
| 364 |
68 |
Weledelgestrenge Heer, Ingenieur Swinkels |
|
| 365 |
61 |
A parabel |
|
| 366 |
134 |
Waarom ik niet gewoon hoogleraar wil blijven |
|
| 367 |
336 |
On the axiomatic definition of semantics |
|
| 368 |
127 |
Verslag van bezoek aan Washington, maart 1973 |
|
| 372 |
422 |
A simple axiomatic basis for programming language constructs |
|
| 374 |
93 |
The analysis of multiprogrammed systems of unspecified degree of parallellism |
|
| 375 |
151 |
A non algebraic example of a constructive correctness proof |
|
| 376 |
261 |
Finding the maximum strong components in a directed graph [see EWD453] |
|
| 379 |
110 |
On a connection pattern between 2**N elements |
|
| 384 |
101 |
Betrouwbaarheid van programma's |
|
| 385 |
116 |
Trip report E.W.Dijkstra Summer School Munich, July 25 to August 4, 1973 |
|
| 386 |
72 |
The solution to a cyclic relaxation problem |
|
| 387 |
197 |
Trip report IBM Seminar “Communication and Computers”, Newcastle, Sept. 1973 |
|
| 389 |
95 |
Trip report I.U.C.C. Colloquium, Canterbury, 18th–21st Sept. 1973 |
|
| 391 |
218 |
Self-stabilization in spite of distributed control |
|
| 392 |
122 |
Self-stabilization with four-state machines |
|
| 393 |
210 |
On representational abstraction |
EWD393.html |
| 395 |
186 |
Trip report E.W.Dijkstra IFIP Working Group W.G.2.3 “On Programming Methodology”, 21st–26th October 1973, Blanchland, England |
|
| 396 |
73 |
Self-stabilization with three-state machines |
|
| 397 |
76 |
Self-stabilizing systems with distributed control |
|
| 398 |
449 |
Sequencing primitives revisited |
EWD398.html |
| 399 |
28 |
An immediate sequel to EWD398: “Sequencing primitives revisited” |
EWD399.html |