Program analysis and specialisation using tree automata (2005)

by John P Gallagher
Venue:Proceedings of Program Analysis and Transformation (PAT2005