HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Gilles Barthe

Publications
LPAR-22 Workshop and Short Paper Proceedings
Gilles Barthe, Konstantin Korovin, Stephan Schulz, Martin Suda, Geoff Sutcliffe and Margus Veanes (editors)
Kalpa Publications in Computing, volume 9
LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Gilles Barthe, Geoff Sutcliffe and Margus Veanes (editors)
EPiC Series in Computing, volume 57
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-2023 easychair.org. All rights reserved.