ABC
From MaRDI portal
Software:21700
No author found.
Related Items (8)
Algebraic program analysis ⋮ Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution ⋮ Complexity analysis for term rewriting by integer transition systems ⋮ Towards automatic resource bound analysis for OCaml ⋮ ABC: Algebraic Bound Computation for Loops ⋮ Unnamed Item ⋮ Cutting-Edge Timing Analysis Techniques ⋮ Type-based analysis of logarithmic amortised complexity
This page was built for software: ABC
