Accéder directement au contenu

Emmanuel Hainry

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

Publications

772669
Image document

Characterizing polynomial time complexity of stream programs using interpretations

 Hugo Férée , Emmanuel Hainry , Mathieu Hoyrup , Romain Péchoux
Theoretical Computer Science, 2015, 585, pp.41-54. ⟨10.1016/j.tcs.2015.03.008⟩
Article dans une revue hal-01112160v1
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
Image document

Higher-order interpretations for higher-order complexity

 Emmanuel Hainry , Romain Péchoux
LPAR 2017 - International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, Geoff Sutcliffe, May 2017, Maun, Botswana. pp.269-285
Communication dans un congrès hal-01529170v2