Isabelle Pollet
According to our database1,
Isabelle Pollet
authored at least 5 papers
between 1998 and 2005.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
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
Proceedings of the 10th International Workshop on Exploring Modeling Methods for Systems Analysis and Design, 2005
2004
PhD thesis, 2004
2001
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