ComplexityParser: An Automatic Tool for Certifying Poly-Time Complexity of Java Programs - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2021

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

Résumé

ComplexityParser is a static complexity analyzer for Java programs providing the first implementation of a tier-based typing discipline. The input is a file containing Java classes. If the main method can be typed and, provided the program terminates, then the program is guaranteed to do so in polynomial time and hence also to have heap and stack sizes polynomially bounded. The application uses antlr to generate a parse tree on which it performs an efficient type inference: linear in the input size, provided that the method arity is bounded by some constant.
Fichier principal
Vignette du fichier
ictac-tool.pdf (123.53 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03337755 , version 1 (08-09-2021)

Identifiants

Citer

Emmanuel Hainry, Emmanuel Jeandel, Romain Péchoux, Olivier Zeyen. ComplexityParser: An Automatic Tool for Certifying Poly-Time Complexity of Java Programs. 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⟩. ⟨hal-03337755⟩
102 Consultations
240 Téléchargements

Altmetric

Partager

More