Article,
Exploring C semantics and pointer provenance.
K. Memarian, V. Gomes, B. Davis, S. Kell, A. Richardson, R. Watson, and P. Sewell.Proc. ACM Program. Lang., 3 (POPL): 67:1-67:32 (2019)
Meta data
- BibTeX key
- journals/pacmpl/MemarianGDKRWS19
- entry type
- article
- year
- 2019
- journal
- Proc. ACM Program. Lang.
- number
- POPL
- pages
- 67:1-67:32
- volume
- 3
- ee
- https://doi.org/10.1145/3290380
- url
- http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#MemarianGDKRWS19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/pacmpl/MemarianGDKRWS19
%A Memarian, Kayvan
%A Gomes, Victor B. F.
%A Davis, Brooks
%A Kell, Stephen
%A Richardson, Alexander
%A Watson, Robert N. M.
%A Sewell, Peter
%D 2019
%J Proc. ACM Program. Lang.
%K dblp
%N POPL
%P 67:1-67:32
%T Exploring C semantics and pointer provenance.
%U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#MemarianGDKRWS19
%V 3
@article{journals/pacmpl/MemarianGDKRWS19,
added-at = {2021-02-17T00:00:00.000+0100},
author = {Memarian, Kayvan and Gomes, Victor B. F. and Davis, Brooks and Kell, Stephen and Richardson, Alexander and Watson, Robert N. M. and Sewell, Peter},
biburl = {https://www.bibsonomy.org/bibtex/219881c5f5a424340f1a74e30f89e5b9c/dblp},
ee = {https://doi.org/10.1145/3290380},
interhash = {15ac6fc05a10f41a8c951d31c6820799},
intrahash = {19881c5f5a424340f1a74e30f89e5b9c},
journal = {Proc. ACM Program. Lang.},
keywords = {dblp},
number = {POPL},
pages = {67:1-67:32},
timestamp = {2024-04-08T09:54:02.000+0200},
title = {Exploring C semantics and pointer provenance.},
url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#MemarianGDKRWS19},
volume = 3,
year = 2019
}