Skip to main content
Top

Journal of Automated Reasoning

Issue 1/2017

Special Issue: Automatic Resource Bound Analysis

Content (5 Articles)

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

Premium Partner