D Beyer - Proceedings of the 28th international conference on …, 2006 - dl.acm.org
Many structural analyses of software systems are naturally formalized as relational queries,
for example, the detection of design patterns, patterns of problematic design, code clones …