02xx

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