Pascal and Modula

Statement

Pascal; Modula; structured programming. Proved in ZFC.

Source

ACM Turing Award 1984. Pascal; Modula; structured programming. Proved in ZFC.

Domains

computer-science

People

• Niklaus Wirth

Related

• Theorem: Pascal and Modula
• Proof: Pascal and Modula

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People