Eliminating Redundant Object Code.

Jack W. Davidson, Christopher W. Fraser

Browse the full POPL paper archive.