Top

Journal of Automated Reasoning

Published in:

05-12-2016

Preface: Special Issue on Automatic Resource Bound Analysis

Authors: Jürgen Giesl, Jan Hoffmann

Published in: Journal of Automated Reasoning | Issue 1/2017

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Excerpt

Resource usage—such as time, memory, and energy usage—is one of the most important quality measures of software and programs that exceed the available resources when executed can barely be considered correct. The ever increasing complexity of software systems and library code makes it more difficult for developers to predict the resource usage of their code. As a result, performance bugs are common and among the bugs that are most difficult to detect. Moreover, many security vulnerabilities exploit the space and time usage of software. …

next article Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Title: Preface: Special Issue on Automatic Resource Bound Analysis
Authors: Jürgen Giesl
Jan Hoffmann
Publication date: 05-12-2016
Publisher: Springer Netherlands
Published in: Journal of Automated Reasoning / Issue 1/2017
Print ISSN: 0168-7433
Electronic ISSN: 1573-0670
DOI: https://doi.org/10.1007/s10817-016-9399-8

Springer Professional

Excerpt

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Wirtschaft"

Springer Professional "Technik"

Other articles of this Issue 1/2017

Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints

Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings

Lower Bounds for Runtime Complexity of Term Rewriting

Type-Based Cost Analysis for Lazy Functional Languages

Premium Partner