Accéder directement au contenu

Emmanuel Hainry

1
Documents
Affiliations actuelles
  • 529408
  • 413289
  • 206040
Identifiants chercheurs

Publications

emmanuel-jeandel
Image document

ComplexityParser: An Automatic Tool for Certifying Poly-Time Complexity of Java Programs

Emmanuel Hainry , Emmanuel Jeandel , Romain Péchoux , Olivier Zeyen
ICTAC 2021 - 18th International Colloquium on Theoretical Aspects of Computing, Sep 2021, Nur-Sultan/Virtual, Kazakhstan. pp.357-365, ⟨10.1007/978-3-030-85315-0_20⟩
Communication dans un congrès hal-03337755v1