Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
Authors: Nils Lommen, Fabian Meyer and Jürgen Giesl
Paper Information
| Title: | Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops |
| Authors: | Nils Lommen, Fabian Meyer and Jürgen Giesl |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | complexity analysis, upper runtime bounds, integer programs, decidable subclasses |
| Pages: | 20 |
| Talk: | Aug 10 10:10 (Session 110D: System Evolution and Termination) |
| Paper: |  |