Design of
Modula-2 1977-1979
•Pascal as basis
•Additional standard
data types
•Modules, interfaces,
information hiding, separate compilation
•Elements for parallel
programming
Program
development in large teams, software
engineering
Reasoning
about programs with assertions and
loop invariants