Search form
Search
Login
Login
Navigation
Home
General Info
About
Contact
Members
News
Vacancies
Research
Groups
REBLS
BDP
CAMP
DISCO
Artifacts
Dissertations
Projects
Publications
Youtube Channel
Education
Teaching
Thesis Proposals
Bachelor Projects
You are here
Home
ยป Reasoning over the Evolution of Source Code using Quantified Regular Path Expressions
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