Proof — RISC and compiler optimization
Statement
Reduced instruction set; strength reduction; register allocation. Proved in ZFC.
Source
ACM Turing Award 1987. Reduced instruction set; strength reduction; register allocation. Proved in ZFC.
Domains
computer-science