Reasoning over the Evolution of Source Code using Quantified Regular Path Expressions
Publication Type:
Conference PaperSource:
Proceedings of the 18th Working Conference on Reverse Engineering (WCRE11) (2011)Keywords:
history querying [6], logic meta programming [7], program querying [8], regular path expressions [9], temporal logic [10], version repositories [11]Subgroup:
CAMP