Publications
Export 4 results:
Filters: Author is Kris Gybels [Clear All Filters]
"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.
, "An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification", Proceedings of the 14th IEEE International Conference on Program Comprehension (ICPC06), 2006.
, "An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification", Proceedings of the 14th IEEE International Conference on Program Comprehension (ICPC06), 2006.
, "Towards Abstract Interpretation for Recovering Design Information", Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages (AIOOL05), May, 2005.
,