Flödesdiagram (1947)
Mer info
- Skapad av
- Herman Goldstine, John von Neumann
- År
- 1947
- Typ
- Notation
Goldstines och von Neumanns notation för att planera program innan man kodade dem — flödesschemats förfader, med en bevisdel som gick förlorad på vägen.
I rapportserien Planning and Coding of Problems for an Electronic Computing Instrument ställdes 1947 en fråga som inte hade funnits tidigare: hur beskriver man ett program för en maskin som ännu inte finns, på ett sätt som håller innan man skriver ner instruktionerna? Svaret blev rutor för operationer och pilar för styrflödet — men också två sorters rutor som senare försvann.
Assertion boxes angav vad som skulle vara sant vid en viss punkt i flödet, och storage boxes vilka variabler som fanns var. Notationen var alltså inte bara en ritning utan ett halvt bevis, tjugo år före Hoare-logik och slinginvarianter. När industrin på 1950- och 60-talen tog upp flödesschemat behöll den rutorna och pilarna, kastade påståendena och fick en teknik som mest användes för att dokumentera i efterhand vad koden redan gjorde.