Diagrama de flujo (1947)
Más información
- Creado por
- Herman Goldstine, John von Neumann
- Año
- 1947
- Tipo
- Notación
La notación de Goldstine y von Neumann para planear un programa antes de codificarlo — antecesora del diagrama de flujo, sin la maquinaria de demostración que se perdió por el camino.
La serie de informes Planning and Coding of Problems for an Electronic Computing Instrument planteó en 1947 una pregunta que antes no existía: ¿cómo se describe un programa para una máquina que aún no existe, de forma que resista el análisis antes de escribir las instrucciones? La respuesta fueron casillas para las operaciones y flechas para el flujo de control, además de dos tipos de casilla que luego desaparecieron.
Las assertion boxes indicaban qué debía cumplirse en un punto del flujo, y las storage boxes, qué variables estaban dónde. La notación era, pues, no solo un dibujo sino media demostración, veinte años antes de la lógica de Hoare y los invariantes de bucle. Cuando la industria adoptó el diagrama de flujo en los años cincuenta y sesenta, conservó casillas y flechas, descartó las aserciones y se quedó con una técnica que sobre todo servía para documentar a posteriori lo que el código ya hacía.