@inproceedings{PEPM-1992-CheathamS,
	author        = "Thomas Cheatham and Dan C. Stefanescu",
	booktitle     = "{Proceedings of the Second Workshop on Partial Evaluation and Semantics-Based Program Manipulation (TR YALEU/DCS/RR-909)}",
	pages         = "75--81",
	publisher     = "{Yale University}",
	title         = "{A Suite of Optimizers Based on Abstract Interpretation}",
	year          = 1992,
}