Travelled to:1 × United Kingdom
Collaborated with:T.Schrijvers B.Demoen M.v.Dooren N.Wu J.Wielemaker M.Triska
Talks about:delimit (2) implement (1) function (1) disjunct (1) program (1) modular (1) librari (1) hookabl (1) heurist (1) handler (1)
Person: Benoit Desouter
 DBLP: Desouter:Benoit
Contributed to:
Wrote 4 papers:
- ICLP-J-2015-DesouterDS #library
 - Tabling as a library with delimited control (BD, MvD, TS), pp. 419–433.
 - PPDP-2014-SchrijversWDD #functional #heuristic #implementation #logic programming #specification
 - Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation (TS, NW, BD, BD), pp. 259–270.
 - ICLP-J-2013-SchrijversDDW #continuation #prolog
 - Delimited continuations for prolog (TS, BD, BD, JW), pp. 533–546.
 - PPDP-J-2012-SchrijversDTD14 #composition #named
 - Tor: Modular search with hookable disjunction (TS, BD, MT, BD), pp. 101–120.
 













