1
Generating data flow analysis algorithms from modal specifications.
Book
2
The interprocedural coincidence theorem.
Book
Knoop, J.
1991
3
Unifying strength reduction and semantic code motion.
Book
Knoop, J.
1991