ABC
From MaRDI portal
Cited in
(15)- Cutting-edge timing analysis techniques
- Algebraic program analysis
- Complexity analysis for term rewriting by integer transition systems
- ABC: algebraic bound computation for loops
- Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution
- RComp
- Valigator
- SPEED
- JAMPACK
- r-TuBound
- RAML
- TcT
- scientific article; zbMATH DE number 7204445 (Why is no real title available?)
- Towards automatic resource bound analysis for OCaml
- Type-based analysis of logarithmic amortised complexity
This page was built for software: ABC
