http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs

Kaminski, Benjamin Lucien (Corresponding author)^RWTH* ; Katoen, Joost-Pieter (Corresponding author)^RWTH* ; Matheja, Christoph (Corresponding author)^RWTH* ; Olmedo Beron, Federico (Corresponding author)^RWTH*

In
Programming languages and systems : 25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings / Peter Thiemann (eds.), Seiten/Artikel-Nr: 364-389

2016

Konferenz/Event:25. European Symposium on Programming , Eindhoven , Netherlands , ESOP 2016 , 2016-04-02 - 2016-04-08

ImpressumBerlin : Springer

Umfang364-389

ISBN3-662-49497-3, 978-3-662-49497-4, 978-3-662-49498-1

ReiheLecture notes in computer science ; 9632

Online
DOI: 10.1007/978-3-662-49498-1_15
10.1007/978-3-662-49498-1_15

Einrichtungen

1. Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
2. Fachgruppe Informatik (120000)

Inhaltliche Beschreibung (Schlagwörter)
eng (frei) ; expected run-time (frei) ; positive almost sure termination (frei) ; probabilistic programs (frei) ; program verification (frei) ; weakest precondition (frei)

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online, print

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-84961692427
WOS Core Collection: WOS:000401936100015
OpenAlex: W2222812367

Interne Identnummern
RWTH-CONV-212252
Datensatz-ID: 684643

Beteiligte Länder
Germany