dblp.uni-trier.dewww.uni-trier.de

Isabelle Pollet

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
3EEIsabelle 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
2EEIsabelle Pollet, Baudouin Le Charlier, Agostino Cortesi: Distinctness and Sharing Domains for Static Analysis of Java Programs. ECOOP 2001: 77-98
1998
1EEDante 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

Coauthor Index

1Dante Baldan [1]
2Baudouin Le Charlier [1] [2] [3]
3Agostino Cortesi [2]
4Christophe Leclère [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)