Diagnosing and Correcting Design Inconsistencies in Source Code with Logical Abduction
Publication Type:
Journal ArticleSource:
Science of Computer Programming - Special Issue on Software Evolution, Adaptability and Variability, Volume 76, p.1113–1129 (2011)Keywords:
logic meta programming [7]Subgroup:
CAMP