ABC
From MaRDI portal
Software:21700
swMATH9721MaRDI QIDQ21700FDOQ21700
Author name not available (Why is that?)
Cited In (8)
- Cutting-edge timing analysis techniques
- Algebraic program analysis
- Complexity analysis for term rewriting by integer transition systems
- Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution
- Title not available (Why is that?)
- ABC: Algebraic Bound Computation for Loops
- Towards automatic resource bound analysis for OCaml
- Type-based analysis of logarithmic amortised complexity
This page was built for software: ABC
