BibSLEIGH — Wim

Travelled to:

1 × Austria
1 × Cyprus
1 × Portugal
1 × The Netherlands
1 × USA
2 × Belgium
2 × Denmark
3 × Italy
3 × Spain
3 × United Kingdom

Collaborated with:

M.Bruynooghe F.Degrave B.Martens C.Dandois D.D.Schreye M.Marcozzi J.Hainaut T.Schrijvers M.Leuschel ∅ N.Mazur G.Janssens R.Tronçon F.Mesnard É.Payet R.Demeyer M.V.Assche L.Langevine S.Craig M.Codish S.Genaim K.D.Vlaminck

Talks about:

program (11) logic (8) mercuri (5) code (5) specialis (4) analysi (4) toward (4) test (4) framework (3) algorithm (3)

Person: Wim Vanhoof

DBLP: Vanhoof:Wim

Facilitated 1 volumes:

Contributed to:

2013

2015

2012

2011

2010

2009

2008

2007

2004

2002

2001

2000

1999

1998

1997

2016

Wrote 23 papers:

SCAM-2013-MarcozziVH #algorithm #constraints #database #execution #relational #source code #symbolic computation #testing: A relational symbolic execution algorithm for constraint-based testing of database programs (MM, WV, JLH), pp. 179–188.
SCAM-J-2013-MarcozziVH15 #database #execution #relational #source code #sql #symbolic computation #testing: Relational symbolic execution of SQL code for unit testing of database programs (MM, WV, JLH), pp. 44–72.
LOPSTR-2012-DandoisV #logic programming #semantics #source code: Semantic Code Clones in Logic Programs (CD, WV), pp. 35–50.
LOPSTR-2011-DandoisV #detection #how #logic programming #source code: Clones in Logic Programs and How to Detect Them (CD, WV), pp. 90–105.
PPDP-2010-DemeyerALV #declarative #flexibility #process #workflow: Declarative workflows to efficiently manage flexible and advanced business processes (RD, MVA, LL, WV), pp. 209–218.
LOPSTR-2009-DegraveSV #constraints #framework #generative #testing #towards: Towards a Framework for Constraint-Based Test Case Generation (FD, TS, WV), pp. 128–142.
ICLP-2008-VanhoofD #algorithm #logic programming #source code: An Algorithm for Sophisticated Code Matching in Logic Programs (WV, FD), pp. 785–789.
LOPSTR-2008-DegraveSV #automation #generative #testing: Automatic Generation of Test Inputs for Mercury (FD, TS, WV), pp. 71–86.
LOPSTR-2007-DegraveV #normalisation #source code #towards: Towards a Normal Form for Mercury Programs (FD, WV), pp. 43–58.
LOPSTR-2004-Vanhoof #logic programming #semantics #source code: Searching Semantically Equivalent Code Fragments in Logic Programs (WV), pp. 1–18.
PDCL-2004-LeuschelCBV #deduction #using: Specialising Interpreters Using Offline Partial Deduction (ML, SJC, MB, WV), pp. 340–375.
PDCL-2004-VanhoofBL #analysis: Binding-Time Analysis for Mercury (WV, MB, ML), pp. 189–232.
LOPSTR-2002-MazurJV #optimisation: Collecting Potential Optimisations (NM, GJ, WV), pp. 109–110.
LOPSTR-2002-VanhoofTB #fixpoint #logic programming #semantics #source code: A Fixed Point Semantics for Logic Programs Extended with Cuts (WV, RT, MB), pp. 238–257.
SAS-2002-BruynoogheCGV #analysis #logic programming #reuse #source code #termination #using: Reuse of Results in Termination Analysis of Typed Logic Programs (MB, MC, SG, WV), pp. 477–492.
LOPSTR-2001-VanhoofB #matter: When Size Does Matter (WV, MB), pp. 129–147.
LOPSTR-2000-VanhoofB #analysis #composition #higher-order #towards: Towards a modular binding-time analysis for higher-order Mercury (WV, MB).
ICLP-1999-VanhoofB #analysis: Binding-time Analysis for Mercury (WV, MB), pp. 500–514.
ALP-PLILP-1998-VanhoofSM #bottom-up #framework #logic programming #source code: A Framework for Bottom Up Specialisation of Logic Programs (WV, DDS, BM), pp. 54–72.
JICSLP-1998-VanhoofMSV: Specialising the Other Way Arond (WV, BM, DDS, KDV), pp. 279–293.
LOPSTR-1998-VanhoofSM #bottom-up #logic programming #source code: Bottom-Up Specialisation of Logic Programs (WV, DDS, BM), pp. 325–327.
LOPSTR-1997-VanhoofM: To Parse or Not To Parse (WV, BM), pp. 322–342.
PPDP-2016-MesnardPV #algorithm #framework #recognition #towards: Towards a framework for algorithm recognition in binary code (FM, ÉP, WV), pp. 202–213.