Edsger W. Dijkstra Archive

Home

Numerical
EWD Index:
    00xx
    01xx
    02xx
    03xx
    04xx
    05xx
    06xx
    07xx
    08xx
    09xx
    10xx
    11xx
    12xx
    13xx

BibTeX index

MC Reports

Other documents

Transcriptions

Video and Audio

External links

EWD Manuscripts 300-399

(1971–73)

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

Revised 15-Nov-2014