Micah Lewis, Michael Jones
A dead variable analysis for explicit model checking
PEPM, 2006.
@inproceedings{PEPM-2006-LewisJ, author = "Micah Lewis and Michael Jones", booktitle = "{Proceedings of the 11th Workshop on Partial Evaluation and Semantics-Based Program Manipulation}", doi = "10.1145/1111542.1111551", isbn = "1-59593-196-1", pages = "48--57", publisher = "{ACM}", title = "{A dead variable analysis for explicit model checking}", year = 2006, }