Ole-Johan Dahl

1931

• Structured programming
• From object-orientation to formal methods
• Verifiable programming
• Common base language
• Discrete event simulation languages
• SIMULA