MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Coen De Roover" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

7 documents found, showing 1 through 7.

ATOM

Combining fuzzy logic and behavioral similarity for non-strict program validation
by Coen De Roover — 2006 — In Proc. of the 8th Symp. on Principles and Practice of Declarative Programming
…Combining Fuzzy Logic and Behavioral Similarity for Non-Strict Program Validation ABSTRACT Coen De…
Cited by 1 (1 self) – Add To MetaCart

Behavioral Similarity Matching using Concrete Source Code Templates in Logic Queries
by Coen De Roover — 2007 — In Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM07 - co-located with POPL07
…Behavioral Similarity Matching using Concrete Source Code Templates in Logic Queries Coen De…
Cited by 1 (0 self) – Add To MetaCart

Towards abstract interpretation for recovering design information
by Coen De Roover, Kris Gybels — Electronic notes in theoretical computer science
… Abstract Coen De Roover, Kris Gybels 1 , Theo D’Hondt Programming Technology Lab Vrije Universiteit Brussel…
Cited by 3 (1 self) – Add To MetaCart

An approach to high-level behavioral program documentation allowing lightweight verification
by Coen De Roover, Isabel Michiels, Kim Gybels, Kris Gybels — 2006 — In Proc. of the 14th IEEE Int. Conf. on Program Comprehension
… De Roover, Isabel Michiels, Kim Gybels, Kris Gybels and Theo D’Hondt Programming Technology Lab…
Cited by 4 (3 self) – Add To MetaCart

Example-based Program Querying
by Andy Kellens, Johan Brichau, Coen De Roover
… De Roover Vrije Universiteit Brussel Brussels, Belgium coen.de.roover@(email omitted); Abstract Program…
Add To MetaCart

Program Testing Using High-Level Property-Driven Models
by Isabel Michiels, Coen De Roover, Johan Brichau, Elisa Gonzalez Boix — 2006 — in "Proceedings of the 18th International Conference on Software Engineering and Knowledge Engineering (SEKE’06
…Program Testing Using High-Level Property-Driven Models Isabel Michiels 1 , Coen De Roover 1…
Cited by 1 (0 self) – Add To MetaCart

Forward Chaining in HALO: An Implementation Strategy for History-based Logic Pointcuts
by Charlotte Herzeel A, Kris Gybels A, Pascal Costanza A, Coen De Roover A, Theo D’hondt A
… Herzeel a , Kris Gybels a , Pascal Costanza a , Coen De Roover a , and Theo D’Hondt a a Programming…
Add To MetaCart

Showing 1 through 7.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB