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 200-299       

(1967–70)
EWD number
Size (KB)
Title
200 90 The variable size machine
201 96 A sequel to EWD200
206 86 A sequel to EWD201
209 305 A constructive approach to the problem of program correctness
209A 373 A constructive approach to the problem of program correctness
214 48 ACM Symposium in Gatlinburg “Operating System Principles”
215 122 A case against the GO TO statement
221 10 [Raw code for computing De Bruijn-sequences]
222 132 Verslag van het bezoek aan Grenoble en Parijs (6–11 december 1967)
224 93 HEEL VERTROUWELIJK
227 417 Stepwise program construction
229 47 Aan de leden van de Commissie Wetenschapsbeleid
230 47 To the EDITOR ALGOL 68
231 399 De Rekenautomaat als Gebruiksvoorwerp
232 275 Pretentie en doelstelling van het THE multiprogrammeringsproject
235 165 Contractie en expansie
236 124 Complexity controlled by hierarchical ordering of function and variability
237 214 A preliminary investigation into Computer Assisted Programming
238 123 Computation versus program
239 306 On trading storage against computation time
240 29 The moral of EWD237 – EWD239
241 199 Towards correct programs
242 1900 Inleiding Informatica  
243 131 Bijdrage voor de subcommissie Aanschaffingsbeleid Rekenautomaten
244 65 Een educatief dilemma
245 98 On useful structuring
246 96 Verslag van het bezoek aan de NATO Conference on Software Engineering
247 64 [“Journal for half-baked Ideas”]
247a 92 [Beantwoording ener enquete]
249 2054 Notes on Structured Programming
251 26 Requirements of programming tools
252 83 Mijn laatste verslag van een bijeenkomst van W.G.2.1.
252a 130 Ontwerp voorwoord [afstudeerrichting Fundamentele Programmering]
253 17 Tentamen Co-operating Sequential Processes (jan. 1969)
253a 31 Ontwerp Collegebeschrijving “Inleiding tot de kunst van het programmere
254 72 Computer Science of enkel Software Engineering?
254a 193 Hoger orde adressering
255 90 Over de IBM360 (English)
257 69 Verslag bezoek aan MIT
259 85 Toekomstverwachting Fundamentele Programmering
260 30 Plotting a curve with a printer
261 20 Hoe wiskundig programmeren is
264 112 On understanding programs
267 91 Over de toekomst van Computer Science
268 173 Structured programming
270 80 Aan de keuzecommissie rekenmachine
272 43 Verslag van de tweede “Conference on Software Engineering”, georganiseerd door de NATO Science Committee te Rome, 27–31 oktober 1969
273 504 The programming task considered as an intellectual challenge
275 134 Structure of an extendable operating system
278 75 Organisatie van onderzoek en onderwijs van Fundamentele Programmering
279 203 The programming laboratory project
281 132 Aan de Commissie Wetenschapsbeleid
282 242 A tree-structured system
284 3640 untitled (Copenhagen, 20 March 1970)
286 103 Verslag van mijn reis naar California
287 2372 Sans titre (but most definitely a predecessor to EWD316, “A short introduction into the art of programming”)
288 279 Concern for correctness as a guiding principle for program construction
288a 69 Recensie voor het tijdschrift “Informatie”
292 123 Letter to professor C.A.R. Hoare (31 August 1970)
295 82 Reisverslag van bezoek aan het Seminar on the Teaching of Programming at University Level
298 58 Informatica als wiskundige discipline
Revised 24-Aug-2016