Issue 1/2017
Special Issue: Automatic Resource Bound Analysis
Content (5 Articles)
Open Access
Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints
Moritz Sinn, Florian Zuleger, Helmut Veith
Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings
Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin
Type-Based Cost Analysis for Lazy Functional Languages
Steffen Jost, Pedro Vasconcelos, Mário Florido, Kevin Hammond
Lower Bounds for Runtime Complexity of Term Rewriting
Florian Frohn, Jürgen Giesl, Jera Hensel, Cornelius Aschermann, Thomas Ströder