Isabelle Pollet

According to our database, Isabelle Pollet authored at least 5 papers between 1998 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2005

Towards a Complete Static Analyser for Java: an Abstract Interpretation Framework and its Implementation.

Isabelle Pollet, Baudouin Le Charlier

Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, 2005

A template-based analysis of GRL.

Gautier Dallons, Patrick Heymans, Isabelle Pollet

Proceedings of the 10th International Workshop on Exploring Modeling Methods for Systems Analysis and Design, 2005

2004

Towards a generic framework for the abstract interpretation of Java.

Isabelle Pollet

PhD thesis, 2004

2001

Distinctness and Sharing Domains for Static Analysis of Java Programs.

Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi

Proceedings of the ECOOP 2001, 2001

1998

A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury.

Dante Baldan, Baudouin Le Charlier, Christophe Leclère, Isabelle Pollet

Proceedings of the Logic Programming Synthesis and Transformation, 1998