A Formal Framework for the Derivation of Machine-Specific Optimizers

DOI10.1145/2166.357219MaRDI QIDQ3040502zbMATH OpenOpenAlexFDO

Authors Robert Giegerich

Publication date 1983

Published in ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2166.357219

zbMATH Keywords

code generationcontext informationformal machine modelsinstruction semanticsmachine-specific code optimizerspeephole optimization

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cited in

(1)

• Integrating code generation and peephole optimization

This page was built for publication: A Formal Framework for the Derivation of Machine-Specific Optimizers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3040502)