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
OptiTrust
OptiTrust draft paper
OptiTrust traces
OptiTrust website
JFLA'25 drafts
Typing overloading
Bijection C/λ-calculus
Home
–
Contact
@InProceedings{ohearn-reynolds-yang-01, author = "Peter O'Hearn and John Reynolds and Hongseok Yang", title = "Local Reasoning about Programs that Alter Data Structures", year = "2001", volume = "2142", pages = "1--19", publisher = "Springer-Verlag", series = "LNCS", address = "Berlin", booktitle = "Proceedings of Computer Science Logic ({CSL})", }