Proof — Programming language theory

Statement

Advanced programming techniques; compiler construction. Proved in ZFC.

Source

ACM Turing Award 1966. Advanced programming techniques; compiler construction. Proved in ZFC.

Domains

computer-science

People

• Alan Perlis

Related

• Theorem: Programming language theory
• Proof: Programming language theory

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People