An Algebraic Query Method for Static Program Analysis and Measurement.

Hamoun Ghanbari Constantinos Constantinides An Algebraic Query Method for Static Program Analysis and Measurement. 174-181 2008 SEDE conf/sede/2008 db/conf/sede/sede2008.html#GhanbariC08