Travelled to:
1 × United Kingdom
Collaborated with:
P.Flener B.Hnich
Talks about:
synthesi (2) program (2) schema (2) guid (2) constraint (1) logic (1) clp (1)
Person: Hamza Zidoum
DBLP: Zidoum:Hamza
Contributed to:
Wrote 2 papers:
- ASE-1998-FlenerZH #constraints #logic programming #source code #synthesis
- Schema-Guided Synthesis of Constraint Logic Programs (PF, HZ, BH), pp. 168–176.
- LOPSTR-1998-ZidoumFH #source code #synthesis
- Schema-Guided Synthesis of CLP Programs (HZ, PF, BH), pp. 309–312.