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
@InProceedings{chargueraud-16-horepr, author = {Arthur Chargu{\'e}raud}, title = {Higher-order Representation Predicates in Separation Logic}, booktitle = {Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs}, series = {CPP 2016}, year = {2016}, month = {January}, isbn = {978-1-4503-4127-1}, location = {St. Petersburg, FL, USA}, pages = {3--14}, numpages = {12}, doi = {10.1145/2854065.2854068}, acmid = {2854068}, publisher = {ACM}, address = {New York, NY, USA}, }