Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0670
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
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
- Klassifikation
-
Informatik
- Urheber
-
Sinn, Moritz
- Beteiligte Personen und Organisationen
-
Zuleger, Florian
Veith, Helmut
SpringerLink (Online service)
- DOI
-
10.1007/s10817-016-9402-4
- URN
-
urn:nbn:de:1111-201705191653
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:21 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Sinn, Moritz
- Zuleger, Florian
- Veith, Helmut
- SpringerLink (Online service)
Ähnliche Objekte (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