Compilers¶
Aho, A. V., Sethi, R., & Ullman, J. D. (1986). Compilers: Principles, Techniques, and Tools. Addison-Wesley.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Equivalence-Preserving Rewriting
- Compiler optimisation: loop unrolling, dead-code elimination, common-subexpression elimination, instruction selection, peephole rewrites — each a program-equivalence-preserving transformation scored by an execution-cost model.
This sourceStandard reference for meaning-preserving compiler optimizations (dead-code elimination, common-subexpression elimination, loop transformations, peephole rewrites) scored by an execution-cost model.
- Compiler optimisation: loop unrolling, dead-code elimination, common-subexpression elimination, instruction selection, peephole rewrites — each a program-equivalence-preserving transformation scored by an execution-cost model.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:3d3cf8c9ae0f · see in the full table