| 1999 | ||
|---|---|---|
| 3 | Dante Baldan, Nicola Civran, Gilberto Filé, Francesco Pulvirenti: A Simple and General Method for Integrating Abstract Interpretation in SICStus. PPDP 1999: 207-223 | |
| 1998 | ||
| 2 | EE | Dante Baldan, Baudouin Le Charlier, Christophe Leclère, Isabelle Pollet: A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury. LOPSTR 1998: 21-40 |
| 1997 | ||
| 1 | Dante Baldan, Gilberto Filé: Abstract Interpretation from Improving WAM Code. SAS 1997: 364 | |
| 1 | Baudouin Le Charlier | [2] |
| 2 | Nicola Civran | [3] |
| 3 | Gilberto Filé | [1] [3] |
| 4 | Christophe Leclère | [2] |
| 5 | Isabelle Pollet | [2] |
| 6 | Francesco Pulvirenti | [3] |