@article{chargueraud:hal-03108936, TITLE = {{Separation Logic for Sequential Programs}}, AUTHOR = {Chargu{\'e}raud, Arthur}, URL = {https://inria.hal.science/hal-03108936}, JOURNAL = {{Proceedings of the ACM on Programming Languages}}, PUBLISHER = {{ACM}}, VOLUME = {4}, YEAR = {2020}, MONTH = Aug, DOI = {10.1145/3408998}, KEYWORDS = {CCS Concepts: $\bullet$ Theory of computation $\rightarrow$ Separation logic ; Logic and verification Separation Logic ; Coq ; Program verification}, PDF = {https://inria.hal.science/hal-03108936/file/seq_seplogic.pdf}, HAL_ID = {hal-03108936}, HAL_VERSION = {v1}, }