TY -
GEN
AU - Navarro, Marcelo
AU - Olmedo, Federico
AU - Marcelo Navarro and Federico Olmedo
TI -
Slicing of Probabilistic Programs Based on Specifications (Extended Abstract)
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - probabilistic programming
KW - expectation transformer semantics
KW - verification condition generator
KW - program slicing
PY - 2022
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
ER -