1
Unifying strength reduction and semantic code motion.
Book
Knoop, J.
1991
Other Personal Name(s): ...Knoop, J....
2
The interprocedural coincidence theorem.
Book
Knoop, J.
1991
Other Personal Name(s): ...Knoop, J....