Travelled to:1 × United Kingdom
2 × France
Collaborated with:G.Filé N.Civran F.Pulvirenti B.L.Charlier C.Leclère I.Pollet
Talks about:interpret (2) abstract (2) mercuri (2) methodolog (1) construct (1) program (1) general (1) toward (1) semant (1) method (1)
Person: Dante Baldan
DBLP: Baldan:Dante
Contributed to:
1999
1998
1997Wrote 3 papers:
- PPDP-1999-BaldanCFP #abstract interpretation
- A Simple and General Method for Integrating Abstract Interpretation in SICStus (DB, NC, GF, FP), pp. 207–223.
- 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.
- SAS-1997-BaldanF #abstract interpretation
- Abstract Interpretation from Improving WAM Code (DB, GF), p. 364.