| |
| 2005 | ||
|---|---|---|
| 3 | EE | Isabelle Pollet, Baudouin Le Charlier: Towards a Complete Static Analyser for Java: an Abstract Interpretation Framework and its Implementation. Electr. Notes Theor. Comput. Sci. 131: 85-98 (2005) |
| 2001 | ||
| 2 | EE | Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi: Distinctness and Sharing Domains for Static Analysis of Java Programs. ECOOP 2001: 77-98 |
| 1998 | ||
| 1 | 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 |
| 1 | Dante Baldan | [1] |
| 2 | Baudouin Le Charlier | [1] [2] [3] |
| 3 | Agostino Cortesi | [2] |
| 4 | Christophe Leclère | [1] |