Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0670
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints ; volume:59 ; number:1 ; day:11 ; month:1 ; year:2017 ; pages:3-45 ; date:6.2017
Journal of automated reasoning ; 59, Heft 1 (11.1.2017), 3-45, 6.2017
- Classification
-
Informatik
- Creator
-
Sinn, Moritz
- Contributor
-
Zuleger, Florian
Veith, Helmut
SpringerLink (Online service)
- DOI
-
10.1007/s10817-016-9402-4
- URN
-
urn:nbn:de:1111-201705191653
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:21 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Sinn, Moritz
- Zuleger, Florian
- Veith, Helmut
- SpringerLink (Online service)
Other Objects (12)
Complexity bounds on some fundamental computational problems for quantum branching programs
Complexity bounds on some fundamental computational problems for quantum branching programs
Holographic complexity bounds
Mechanized verification of imperative and functional programs
Automatic termination analysis for functional and imperative programs
Verification of sequential imperative programs in Isabelle-HOL
General bounds on holographic complexity
Complexity Bounds for Block-IPs
Termination analysis for imperative programs operating on the heap
Probalistic Accuracy Bounds for Perforated Programs
Probalistic Accuracy Bounds for Perdorated Programs
Proximity bounds for random integer programs
Complexity bounds on some fundamental computational problems for quantum branching programs
Complexity bounds on some fundamental computational problems for quantum branching programs
Holographic complexity bounds
Mechanized verification of imperative and functional programs
Automatic termination analysis for functional and imperative programs
Verification of sequential imperative programs in Isabelle-HOL
General bounds on holographic complexity
Complexity Bounds for Block-IPs
Termination analysis for imperative programs operating on the heap
Probalistic Accuracy Bounds for Perforated Programs
Probalistic Accuracy Bounds for Perdorated Programs
Proximity bounds for random integer programs
Complexity bounds on some fundamental computational problems for quantum branching programs
Complexity bounds on some fundamental computational problems for quantum branching programs
Holographic complexity bounds
Mechanized verification of imperative and functional programs
Automatic termination analysis for functional and imperative programs
Verification of sequential imperative programs in Isabelle-HOL
General bounds on holographic complexity
Complexity Bounds for Block-IPs
Termination analysis for imperative programs operating on the heap
Probalistic Accuracy Bounds for Perforated Programs
Probalistic Accuracy Bounds for Perdorated Programs