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.