Proof — Simula and OOP

Statement

Object-oriented programming; Simula 67. Proved in ZFC.

Source

ACM Turing Award 2001. Object-oriented programming; Simula 67. Proved in ZFC.

Domains

computer-science

People

• Ole-Johan Dahl

Related

• Theorem: Simula and OOP
• Proof: Simula and OOP

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People