zweidimensionales bewegtes Bild
Automated Termination Analysis of Polynomial Probabilistic Programs
- Standort
-
Hannover TIB
- Umfang
-
104MB, 00:15:02:13 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
30th European Symposium on Programming, ESOP 2021 ; (Jan. 2021)
- Ereignis
-
Veröffentlichung
- (wer)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (wann)
-
2021-01-01
- Beteiligte Personen und Organisationen
-
Moosbrugger, Marcel
Bartocci, Ezio
Katoen, Joost-Pieter
Kovács, Laura
- DOI
-
10.5446/55059
- Letzte Aktualisierung
-
04.12.2024, 08:09 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- zweidimensionales bewegtes Bild
Beteiligte
- Moosbrugger, Marcel
- Bartocci, Ezio
- Katoen, Joost-Pieter
- Kovács, Laura
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Entstanden
- 2021-01-01
Ähnliche Objekte (12)
Automated termination analysis of C programs
Proving termination of probabilistic recursive programs via SMT-solving
Termination of triangular polynomial loops
Automated termination proofs
Towards complete methods for automatic complexity and termination analysis of (probabilistic) programs
The probabilistic termination tool amber
The probabilistic termination tool amber
Termination proofs for logic programs
Termination proofs for logic programs
Proving Termination of C Programs with Lists
Automatic termination analysis for functional and imperative programs
AProVE: Non-Termination Witnesses for C Programs
Automated termination analysis of C programs
Proving termination of probabilistic recursive programs via SMT-solving
Termination of triangular polynomial loops
Automated termination proofs
Towards complete methods for automatic complexity and termination analysis of (probabilistic) programs
The probabilistic termination tool amber
The probabilistic termination tool amber
Termination proofs for logic programs
Termination proofs for logic programs
Proving Termination of C Programs with Lists
Automatic termination analysis for functional and imperative programs
AProVE: Non-Termination Witnesses for C Programs
Automated termination analysis of C programs
Proving termination of probabilistic recursive programs via SMT-solving
Termination of triangular polynomial loops
Automated termination proofs
Towards complete methods for automatic complexity and termination analysis of (probabilistic) programs
The probabilistic termination tool amber
The probabilistic termination tool amber
Termination proofs for logic programs
Termination proofs for logic programs
Proving Termination of C Programs with Lists
Automatic termination analysis for functional and imperative programs