Travelled to:
1 × United Kingdom
Collaborated with:
D.Baldan B.L.Charlier I.Pollet
Talks about:
mercuri (2) methodolog (1) construct (1) program (1) toward (1) semant (1) declar (1) step (1)
Person: Christophe Leclère
DBLP: Lecl=egrave=re:Christophe
Contributed to:
Wrote 1 papers:
- LOPSTR-1998-BaldanCLP #declarative #semantics #towards
- A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury (DB, BLC, CL, IP), pp. 21–40.