Yanhong A. Liu and Scott D. Stoller. Eliminating Dead Code on
Recursive Data. In Proceedings of the 6th International Static
Analysis Symposium, Venice, Italy, September,
1999. Springer-Verlag.
© Springer-Verlag.
Lecture Notes in Computer Science
ElimDeadRec-SAS99.ps