Formalism
In the mid-1960’s, there was a set of software research — today we call it programming methodology — that was intended (in my view) to solve two problems
- Decrease ambiguity through the use of mathematics to specify programs
- Allow us to prove programs correct by showing that a program satisfies a formal specification
Turing Awards in this area include: Dijkstra (1972), Floyd (1978), Hoare (1980), Wirth (1984), Milner (1991), Pnueli (1996)