Publications

Export 4 results:
Filters: Author is Kris Gybels  [Clear All Filters]
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.
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., 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.
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.