François Pessaux
3
Documents
Présentation
Welcome! This is my minimal HAL CV/research page. For more details, please consult my page at <http://u2is.ensta-paristech.fr/members/pessaux/index.php?lang=en>
Welcome! This is my minimal HAL CV/research page. For more details, please consult my page at <http://u2is.ensta-paristech.fr/members/pessaux/index.php?lang=en>
Publications
- 3
|
Type-based analysis of uncaught exceptionsACM Transactions on Programming Languages and Systems (TOPLAS), 2000, 22 (2), pp.340-377. ⟨10.1145/349214.349230⟩
Article dans une revue
hal-01499948v1
|
|
Type-based analysis of uncaught exceptionsPOPL 1999: 26th symposium Principles of Programming Languages, ACM, Jan 1999, San Antonio, United States. pp.276 - 290, ⟨10.1145/292540.292565⟩
Communication dans un congrès
hal-01499959v1
|
|
Type-Based Analysis of Uncaught Exceptions[Research Report] RR-3541, INRIA. 1998
Rapport
inria-00073144v1
|