An algorithm for reduction of operator strength

DOI10.1145/359863.359888zbMath0361.68030OpenAlexW1968787980WikidataQ56287195 ScholiaQ56287195MaRDI QIDQ4134923

John Cocke, Ken Kennedy

Publication date: 1977

Published in: Communications of the ACM (Search for Journal in Brave)

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Related Items

Program derivation with verified transformations — a case study, Interprocedural Induction Variable Analysis, Using multiset discrimination to solve language processing problems without hashing, A composite algorithm for strength reduction and code movement optimization, Synthetic programming, A composite hoisting-strength reduction transformation for global program optimization part I, A composite hoisting-strength reduction transformation for global program optimization part ii