Publications
Export 4 results:
Filters: Keyword is program querying [Clear All Filters]
"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.
, "Reasoning over the Evolution of Source Code using Quantified Regular Path Expressions", Proceedings of the 18th Working Conference on Reverse Engineering (WCRE11), 2011.
, "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.
, "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.
,