Travelled to:1 × Hungary
1 × United Kingdom
Collaborated with:B.L.Charlier A.Cortesi D.Baldan C.Leclère
Talks about:program (2) mercuri (2) methodolog (1) construct (1) distinct (1) analysi (1) toward (1) static (1) semant (1) domain (1)
Person: Isabelle Pollet
DBLP: Pollet:Isabelle
Contributed to:
2001
1998Wrote 2 papers:
- ECOOP-2001-PolletCC #java #source code #static analysis
- Distinctness and Sharing Domains for Static Analysis of Java Programs (IP, BLC, AC), pp. 77–98.
- LOPSTR-1998-BaldanCLP #declarative #semantics #towards
- A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury (DB, BLC, CL, IP), pp. 21–40.