Isabelle Pollet

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2005
Towards a Complete Static Analyser for Java: an Abstract Interpretation Framework and its Implementation.
Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, 2005

A template-based analysis of GRL.
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.
PhD thesis, 2004

2001
Distinctness and Sharing Domains for Static Analysis of Java Programs.
Proceedings of the ECOOP 2001, 2001

1998
A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury.
Proceedings of the Logic Programming Synthesis and Transformation, 1998


  Loading...