Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Thomas Espitau
Publications
Proving uniformity and independence by self-composition and coupling
Gilles Barthe
,
Thomas Espitau
,
Benjamin Grégoire
,
Justin Hsu
and
Pierre-Yves Strub
In
:
LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Keyphrases
independence
,
probabilistic programs
,
program verification
,
relational logic
,
uniformity
.
Copyright © 2012-2024 easychair.org. All rights reserved.
