Exploring C semantics and pointer provenance
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Kayvan Memarian, Victor B. F. Gomes, Brooks Davis, Stephen Kell, Alexander Richardson, Robert N. M. Watson, Peter Sewell
Exploring C semantics and pointer provenance
POPL, 2019.

POPL 2019
Full names Links ISxN
	author        = "Kayvan Memarian and Victor B. F. Gomes and Brooks Davis and Stephen Kell and Alexander Richardson and Robert N. M. Watson and Peter Sewell",
	doi           = "10.1145/3290380",
	journal       = "{Proceedings of the ACM on Programming Languages}",
	number        = "POPL",
	pages         = "32",
	publisher     = "{ACM}",
	title         = "{Exploring C semantics and pointer provenance}",
	volume        = 3,
	year          = 2019,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.