Travelled to:1 × Japan
1 × United Kingdom
Collaborated with:O.Ridoux P.Boizumault
Talks about:prolog (3) analysi (2) abstract (1) static (1) ground (1) compil (1) applic (1) type (1)
Person: Frédéric Malésieux
DBLP: Mal=eacute=sieux:Fr=eacute=d=eacute=ric
Contributed to:
1999
1998Wrote 2 papers:
- FLOPS-1999-RidouxBM #prolog #static analysis
- Typed Static Analysis: Application to Groundness Analysis of PROLOG and λ-PROLOG (OR, PB, FM), pp. 267–283.
- JICSLP-1998-MalesiuexRB #compilation #prolog
- Abstract Compilation of λ-Prolog (FM, OR, PB), pp. 130–144.