1
The interprocedural coincidence theorem.
Book
Knoop, J.
1991
2
Unifying strength reduction and semantic code motion.
Book
Knoop, J.
1991