Publications

Export 4 results:
Filters: Keyword is program querying  [Clear All Filters]
2011
De Roover, C., "A Logic Meta-Programming Foundation for Example-Driven Pattern Detection in Object-Oriented Programs", Proceedings of the 27th IEEE International Conference on Software Maintenance (ICSM11), 2011.
Kellens, A., C. De Roover, C. Noguera, R. Stevens, and V. Jonckers, "Reasoning over the Evolution of Source Code using Quantified Regular Path Expressions", Proceedings of the 18th Working Conference on Reverse Engineering (WCRE11), 2011.
De Roover, C., C. Noguera, A. Kellens, and V. Jonckers, "The SOUL Tool Suite for Querying Programs in Symbiosis with Eclipse", Proceedings of the 9th International Conference on the Principles and Practice of Programming in Java (PPPJ11), 2011.
2007
De Roover, C., J. Brichau, C. Noguera, T. D'Hondt, and L. Duchien, "Behavioral Similarity Matching using Concrete Source Code Templates in Logic Queries", Proceedings of the ACM-SIGPLAN Symposium on Partial Evaluation and semantics-based Program Manipulation (PEPM07), 2007.