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
» Diagnosing and Correcting Design Inconsistencies in Source Code with Logical Abduction
Diagnosing and Correcting Design Inconsistencies in Source Code with Logical Abduction
Publication Type:
Journal Article
Authors:
Castro, Sergio
;
Coen De Roover
;
Kellens, Andy
;
Lozano, Angela
;
Kim, Mens
;
Theo D'Hondt
Source:
Science of Computer Programming - Special Issue on Software Evolution, Adaptability and Variability, Volume 76, p.1113–1129 (2011)
Keywords:
logic meta programming