Identifying Refactoring Opportunities Using Logic Meta Programmin.

Tom Tourwé Tom Mens

Published in: CSMR (2003)

Keyphrases

source code
classical logic
modal logic
logical framework
logic programming
digital circuits
multi valued
meta reasoning
proof theory
deontic logic
meta level
formal theory
automated reasoning
data mining
data quality
object oriented
multi agent
information systems
information retrieval