Ravi Sethi
Validating Register Allocations for Straight Line Programs
STOC, 1972.
@inproceedings{STOC-1972-Sethi, author = "Ravi Sethi", booktitle = "{Proceedings of the Fourth Annual ACM Symposium on Theory of Computing}", doi = "10.1145/800152.804918", pages = "222--237", publisher = "{ACM}", title = "{Validating Register Allocations for Straight Line Programs}", year = 1972, }