@inproceedings{PEPM-1992-DehboneiJ,
	author        = "Babak Dehbonei and Pierre Jouvelot",
	booktitle     = "{Proceedings of the Second Workshop on Partial Evaluation and Semantics-Based Program Manipulation (TR YALEU/DCS/RR-909)}",
	pages         = "14--20",
	publisher     = "{Yale University}",
	title         = "{Semantical Interprocedural Analysis by Partial Symbolic Evaluation}",
	year          = 1992,
}