The following pages link to ABC (Q21700):
Displayed 8 items.
- Algebraic program analysis (Q832153) (← links)
- Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution (Q1647969) (← links)
- Complexity analysis for term rewriting by integer transition systems (Q1687548) (← links)
- (Q2883114) (← links)
- ABC: Algebraic Bound Computation for Loops (Q3066094) (← links)
- (Q5111324) (← links)
- Towards automatic resource bound analysis for OCaml (Q5370874) (← links)
- Type-based analysis of logarithmic amortised complexity (Q5875895) (← links)