Arthur Charguéraud
Publications
by date
by topic
by venue
Software
CFML
TLC
PASL
FormalMetaCoq
OptiTrust
Teaching
Separation Logic
Coq tutorials
Concours Castor
France-ioi
Misc
The RE command
Home
–
Contact
@toAppear{chargueraud-pottier-17-ro, author = "Arthur Chargu{\'e}raud and François Pottier", title = "Temporary Read-Only Permissions for Separation Logic", booktitle = "Proceedings of the 26th European Symposium on Programming (ESOP'17)", year = "2017", month = "apr", note = "To appear", }