A solution to a problem with Morel and Renvoise's “Global optimization by suppression of partial redundancies”

DOI10.1145/48022.214509zbMath0663.68026OpenAlexW1994334933MaRDI QIDQ3814783

K.-H. Drechsler, Manfred Stadel

Publication date: 1988

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

Full work available at URL: http://www.acm.org/pubs/contents/journals/toplas/1988-10/

zbMATH Keywords

optimizationdata flow analysiscode motionpartial redundancies

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Related Items (2)

Proof optimization for partial redundancy elimination ⋮ Bidirectional data flow analysis for type inferencing.

This page was built for publication: A solution to a problem with Morel and Renvoise's “Global optimization by suppression of partial redundancies”