Improving Automatic Complexity Analysis of Integer Programs

Giesl, Jürgen (Corresponding author); Lommen, Nils; Hark, Marcel Tobias; Meyer, Fabian Niklas

Cham : Springer (2022)
Contribution to a book, Contribution to a conference proceedings

In: The logic of software : a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday / Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen (eds.)
Page(s)/Article-Nr.: 193-228

Institutions

  • UnRAVeL Research Training Group [080060]
  • Department of Computer Science [120000]
  • Research Group Computer Science (Programming Languages and Verification) [121420]

Identifier