A Formal Framework for the Derivation of Machine-Specific Optimizers
- 1 July 1983
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 5 (3), 478-498
- https://doi.org/10.1145/2166.357219
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Translator Writing Systems: Where Do they Now Stand?Computer, 1980
- An Overview of the Production-Quality Compiler-Compiler ProjectComputer, 1980
- Chaining Span-Dependent Jump InstructionsACM Transactions on Programming Languages and Systems, 1980
- The Design and Application of a Retargetable Peephole OptimizerACM Transactions on Programming Languages and Systems, 1980
- Peephole optimizationCommunications of the ACM, 1965