Proof — Compiler optimization
Statement
Data-flow analysis; parallelization. Proved in ZFC.
Source
ACM Turing Award 2006. Data-flow analysis; parallelization. Proved in ZFC.
Domains
computer-science
Data-flow analysis; parallelization. Proved in ZFC.
ACM Turing Award 2006. Data-flow analysis; parallelization. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/proof/allen-turing-2006/