Login / Signup
ComplexityParser: An Automatic Tool for Certifying Poly-Time Complexity of Java Programs.
Emmanuel Hainry
Emmanuel Jeandel
Romain Péchoux
Olivier Zeyen
Published in:
ICTAC (2021)
Keyphrases
</>
java programs
multi threaded
computational complexity
java language
software components
evolutionary algorithm
low cost
test suite
real time
artificial intelligence
cooperative
general purpose
open source
computer systems
building blocks