A Logic Meta-Programming Foundation for Example-Driven Pattern Detection in Object-Oriented Programs

Publication Type:

Conference Paper

Authors:

Coen De Roover

Source:

Proceedings of the 27th IEEE International Conference on Software Maintenance (ICSM11) (2011)

Keywords:

logic programming, pattern detection, program analysis, program querying