Improved Automatic Complexity Analysis of Integer Programs
Authors: Jürgen Giesl, Nils Lommen, Marcel Hark and Fabian Meyer
Paper Information
| Title: | Improved Automatic Complexity Analysis of Integer Programs |
| Authors: | Jürgen Giesl, Nils Lommen, Marcel Hark and Fabian Meyer |
| Proceedings: | WST22 Program papers |
| Editor: | Cynthia Kop |
| Keywords: | Automatic Complexity Analysis, Integer Programs, Ranking Functions, Control-Flow Refinement |
| Pages: | 5 |
| Talk: | Aug 11 15:00 (Session 127R) |
| Paper: |  |