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