Travelled to:
2 × USA
Collaborated with:
B.Demoen A.Mariën M.Bruynooghe G.Janssens
Talks about:
prolog (2) interpret (1) abstract (1) program (1) toward (1) global (1) optim (1) index (1) claus (1)
Person: Alain Callebaut
DBLP: Callebaut:Alain
Contributed to:
Wrote 2 papers:
- NACLP-1989-DemoenMC #prolog
- Indexing Prolog Clauses (BD, AM, AC), pp. 1001–1012.
- SLP-1987-BruynoogheJCD87 #abstract interpretation #optimisation #prolog #source code #towards
- Abstract Interpretation: Towards the Global Optimization of Prolog Programs (MB, GJ, AC, BD), pp. 192–204.