Travelled to:
1 × Greece
1 × Switzerland
1 × USA
Collaborated with:
P.Ayrault X.Leroy T.Hardin V.Benayoun C.Dubois
Talks about:
analysi (2) uncaught (1) assessor (1) generic (1) develop (1) except (1) depend (1) voter (1) under (1) type (1)
Person: François Pessaux
DBLP: Pessaux:Fran=ccedil=ois
Contributed to:
Wrote 3 papers:
- SEFM-2012-AyraultBDP #analysis #dependence #ml
- ML Dependency Analysis for Assessors (PA, VB, CD, FP), pp. 278–292.
- TAP-2009-AyraultHP #development
- Development of a Generic Voter under FoCal (PA, TH, FP), pp. 10–26.
- POPL-1999-PessauxL #analysis #exception #type system
- Type-Based Analysis of Uncaught Exceptions (FP, XL), pp. 276–290.