SLE 2012Profile-Based Abstraction and Analysis of Attribute Grammar EvaluationAnthony M. SloaneDOI 10.1007/978-3-642-36089-3_3dblpBibTeXAbstract elided by the publisher.