BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
1 × United Kingdom
Collaborated with:
P.Flener Z.Kiziltan H.Zidoum
Talks about:
program (3) constraint (2) synthesi (2) schema (2) guid (2) constructor (1) problem (1) heurist (1) subset (1) compil (1)

Person: Brahim Hnich

DBLP DBLP: Hnich:Brahim

Contributed to:

PADL 20012001
ASE 19981998
LOPSTR 19981998

Wrote 4 papers:

PADL-2001-FlenerHK #compilation #constraints #programming
Compiling High-Level Type Constructors in Constraint Programming (PF, BH, ZK), pp. 229–244.
PADL-2001-FlenerHK01a #metaheuristic #problem #set
A Meta-heuristic for Subset Problems (PF, BH, ZK), pp. 274–287.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.