Publications
Export 3 results:
Filters: Keyword is program analysis [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.
, "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.
, "Combining Fuzzy Logic and Behavioral Similarity for Non-strict Program Validation", Proceedings of the 8th ACM-SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP06), 2006.
,