Isabelle Pollet

Publication Activity (10 Years)

Years Active: 1998-2005
Publications (10 Years): 0

Catholic University of Louvain, Louvain-la-Neuve, Belgium (PHD)

Education History

Catholic University of Louvain, Louvain-la-Neuve, Belgium

PHD

Publications

Gautier Dallons, Patrick Heymans, Isabelle Pollet
A template-based analysis of GRL. EMMSAD (2005)
Isabelle Pollet, Baudouin Le Charlier
Towards a Complete Static Analyser for Java: an Abstract Interpretation Framework and its Implementation. Electron. Notes Theor. Comput. Sci. 131 (2005)
Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi
Distinctness and Sharing Domains for Static Analysis of Java Programs. ECOOP (2001)
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)