Science of Computer Programming · 2002 · 16 citations · 13 references
ComputingComputer ScienceAlgorithmsFault-tolerant SystemsFormal MethodsBoolean AlgebraDeductive VerificationPartial Redundancy EliminationRedundancy EliminationRedundancy ReductionRedundant Computation
13
Global optimization by suppression of partial redundancies
E. H. Morel, C. Renvoise · Communications of the ACM · 1979 · 377 citations · Full text
Jens Knoop, Oliver Rüthing, Bernhard Steffen · 1992 · 261 citations · Full text