ABC

swMATH9721MaRDI QIDQ21700FDOQ21700

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007%2F978-3-642-17511-4_7

Cited In (13)

• 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
• Title not available (Why is that?)
• SPEED
• JAMPACK
• r-TuBound
• RAML
• TcT
• Towards automatic resource bound analysis for OCaml
• Type-based analysis of logarithmic amortised complexity

This page was built for software: ABC