A Monadic Framework for Relational Verification (Functional Pearl)

Grimm, Niklas and Maillard, Kenji and Fournet, Cédric and Hritcu, Catalin and Maffei, Matteo and Protzenko, Jonathan and Rastogi, Aseem and Swamy, Nikhil and Béguelin, Santiago Zanella
(2017) A Monadic Framework for Relational Verification (Functional Pearl).
CoRR, abs/17.

Full text not available from this repository.
Official URL: http://arxiv.org/abs/1703.00055
Item Type: Article
Depositing User: Sebastian Weisgerber
Date Deposited: 23 Feb 2018 14:23
Last Modified: 23 Feb 2018 14:31
URI: https://publications.cispa.saarland/id/eprint/2542

Actions

Actions (login required)

View Item View Item
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.