guest ::
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
; ; ; ;
In
Proceedings of the ACM on Programming Languages
In
Proceedings of the ACM on programming languages 3(POPL), Seiten/Artikel-Nr.:34
2019
Online
DOI: 10.18154/RWTH-2019-00833
DOI: 10.1145/3290347
URL: http://publications.rwth-aachen.de/record/753722/files/753722.pdf
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Graduiertenkolleg UnRAVeL (080060)
- Fachgruppe Informatik (120000)
Projekte
Thematische Einordnung (Klassifikation)
DDC: 004
OpenAccess: 
PDF
Dokumenttyp
Journal Article/Contribution to a conference proceedings
Format
online
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85120111357
WOS Core Collection: WOS:000678450300034
Interne Identnummern
RWTH-2019-00833
Datensatz-ID: 753722
Beteiligte Länder
Germany
Related:
Preprint
Quantitative Separation Logic : A Logic for Reasoning about Probabilistic Programs
159 Seiten (2018) [10.48550/ARXIV.1802.10467]
Fulltext by arXiv.org
BibTeX |
EndNote:
XML,
Text |
RIS
; 
PDF