Useless-variable elimination (1991)

by Olin Shivers
Venue:In proceedings of Workshop on Static Analysis of Equational, Functional and Logic Programs, Université Bordeaux I, LaBRI