Publications

Export 12 results:
Filters: Keyword is logic meta programming  [Clear All Filters]
2011
Castro, S., C. De Roover, A. Kellens, A. Lozano, M. Kim, and T. D'Hondt, "Diagnosing and Correcting Design Inconsistencies in Source Code with Logical Abduction", Science of Computer Programming - Special Issue on Software Evolution, Adaptability and Variability, vol. 76, pp. 1113–1129, December, 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.
2010
Kellens, A., C. Noguera, K. De Schutter, C. De Roover, and T. D'Hondt, "Co-evolving Annotations and Source Code through Smart Annotations", Proceedings of the 14th European Conference on Software Maintenance and Re-engineering (CSMR10), 2010.
2009
Herzeel, C., K. Gybels, P. Costanza, C. De Roover, and T. D'Hondt, "Forward Chaining in HALO: An Implementation Strategy for History-based Logic Pointcuts", Elsevier International Journal on Computer Languages, Systems {&} Structures, vol. 35, pp. 31–47, April, 2009.
2008
Kellens, A., J. Brichau, and C. De Roover, "Example-based Program Querying", Proceedings of the 2008 Working Session on Query Technologies and Applications for Program Comprehension (QTAPC08) at the 16th International Conference on Program Comprehension (ICPC08), 2008.
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.
Brichau, J., C. De Roover, and K. Mens, "Open Unification for Program Query Languages", Proceedings of the XXVI International Conference of the Chilean Computer Science Society (SCCC 2007), 2007.
2006
De Roover, C., I. Michiels, K. Gybels, K. Gybels, and T. D'Hondt, "An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification", Proceedings of the 14th IEEE International Conference on Program Comprehension (ICPC06), 2006.
De Roover, C., J. Brichau, and T. D'Hondt, "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.
Michiels, I., C. De Roover, J. Brichau, E. Gonzalez Boix, and T. D'Hondt, "Program Testing Using High-Level Property-Driven Models", Proceedings of the Eighteenth International Conference on Software Engineering and Knowledge Engineering (SEKE06), 2006.
2005
De Roover, C., K. Gybels, and T. D'Hondt, "Towards Abstract Interpretation for Recovering Design Information", Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages (AIOOL05), May, 2005.
2004
De Roover, C., Incorporating Dynamic Analysis and Approximate Reasoning in Declarative Meta-Programming to Support Software Re-engineering: Vrije Universiteit Brussel, 2004.