Reasoning over the Evolution of Source Code using Quantified Regular Path Expressions

Publication Type:

Conference Paper

Authors:

Kellens, Andy; Coen De Roover; Carlos Noguera; Reinout Stevens; Viviane Jonckers

Source:

Proceedings of the 18th Working Conference on Reverse Engineering (WCRE11) (2011)

Keywords:

history querying, logic meta programming, program querying, regular path expressions, temporal logic, version repositories