@inproceedings{PEPM-1997-HornofN,
	author        = "Luke Hornof and Jacques Noyé",
	booktitle     = "{Proceedings of the Fifth Symposium on Partial Evaluation and Semantics-Based Program Manipulation}",
	doi           = "10.1145/258993.259005",
	isbn          = "0-89791-917-3",
	pages         = "63--73",
	publisher     = "{ACM}",
	title         = "{Accurate Binding-Time Analysis For Imperative Languages: Flow, Context, and Return Sensitivity}",
	year          = 1997,
}