SUZANNE Hector
PhD student at Sorbonne University
Team : APR
Arrival date : 02/01/2021
Tel: +33 1 44 27 88 04, Hector.Suzanne (at) nulllip6.fr
https://perso.lip6.fr/Hector.Suzanne
Team : APR
Arrival date : 02/01/2021
- Sorbonne Université - LIP6
Boîte courrier 169
Couloir 25-26, Étage 3, Bureau 331
4 place Jussieu
75252 PARIS CEDEX 05
FRANCE
Tel: +33 1 44 27 88 04, Hector.Suzanne (at) nulllip6.fr
https://perso.lip6.fr/Hector.Suzanne
Supervision : Emmanuel CHAILLOUX
Analyses statiques de ressources pour langages de haut niveau
2023 Publications
-
2023
- H. Suzanne, E. Chailloux : “A Reusable Machine-Calculus for Automated Resource Analyses”, Logic-Based Program Synthesis and Transformation, vol. 14330, Lecture Notes in Computer Science, Cascais, Portugal, pp. 61-79, (Springer Nature Switzerland) (2023)