English
 
User Manual Privacy Policy Disclaimer Contact us
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Conference Paper

A Formal C Memory Model Supporting Integer-Pointer Casts

MPS-Authors
/persons/resource/persons144538

Vafeiadis,  Viktor
Group V. Vafeiadis, Max Planck Institute for Software Systems, Max Planck Society;

Locator
There are no locators available
Fulltext (public)
There are no public fulltexts available
Supplementary Material (public)
There is no public supplementary material available
Citation

Kang, J., Hur, C.-K., Mansky, W., Garbuzov, D., Zdancewic, S., & Vafeiadis, V. (2015). A Formal C Memory Model Supporting Integer-Pointer Casts. In D. Grove, & S. Blackburn (Eds.), PLDI'15 (pp. 326-335). New York, NY: ACM. doi:10.1145/2813885.2738005.


Cite as: http://hdl.handle.net/11858/00-001M-0000-0029-7E07-9
Abstract
There is no abstract available