Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung 0002, Joseph Tassarotti, Jan-Oliver Kaiser, Amin Timany, Arthur Charguéraud, Derek Dreyer
MoSeL: a general, extensible modal framework for interactive proofs in separation logic
ICFP, 2018.
@article{ICFP-2018-KrebbersJ0TKTCD,
author = "Robbert Krebbers and Jacques-Henri Jourdan and Ralf Jung 0002 and Joseph Tassarotti and Jan-Oliver Kaiser and Amin Timany and Arthur Charguéraud and Derek Dreyer",
doi = "10.1145/3236772",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "ICFP",
pages = "30",
title = "{MoSeL: a general, extensible modal framework for interactive proofs in separation logic}",
volume = 2,
year = 2018,
}
Tags:
