“…Most approaches for automated complexity analysis of programs are based on incomplete techniques like ranking functions (see, e.g., [1-3, 3, 4, 6, 11, 12, 18, 20, 21, 30]). However, there also exist numerous results on subclasses of programs where questions concerning termination or complexity are decidable, e.g., [5,14,15,19,22,24,25,31,33]. In this work we consider the subclass of triangular weakly non-linear loops (twn-loops), where there exist complete techniques for analyzing termination and runtime complexity (we discuss the "completeness" and decidability of these techniques below).…”