The following pages link to Wim Vanhoof (Q2039952):
Displayed 24 items.
- An SMT-based concolic testing tool for logic programs (Q2039953) (← links)
- (Q2767033) (← links)
- Sharp phase transition thresholds for the Paris Harrington Ramsey numbers for a fixed dimension (Q2845566) (← links)
- Semantic Code Clones in Logic Programs (Q2848895) (← links)
- Binding-Time Annotations without Binding-Time Analysis (Q2996203) (← links)
- A Fixed Point Semantics for Logic Programs Extended with Cuts (Q3079915) (← links)
- Towards a Framework for Constraint-Based Test Case Generation (Q3558292) (← links)
- Automatic Generation of Test Inputs for Mercury (Q3617431) (← links)
- (Q4217937) (← links)
- (Q4411979) (← links)
- (Q4475099) (← links)
- (Q4499248) (← links)
- (Q4506395) (← links)
- (Q4808812) (← links)
- Offline specialisation in Prolog using a hand-written compiler generator (Q4819007) (← links)
- Clones in Logic Programs and How to Detect Them (Q4909315) (← links)
- (Q4944882) (← links)
- Generalization-Driven Semantic Clone Detection in CLP (Q5097639) (← links)
- Anti-unification in Constraint Logic Programming (Q5108501) (← links)
- Searching Semantically Equivalent Code Fragments in Logic Programs (Q5458790) (← links)
- Towards a Normal Form for Mercury Programs (Q5504592) (← links)
- Program Development in Computational Logic (Q5712538) (← links)
- Program Development in Computational Logic (Q5712548) (← links)
- (Q6124973) (← links)