A formal C memory model supporting integer-pointer casts

By Jeehoon Kang, Chung-Kil Hur, William Mansky, Dmitri Garbuzov, Steve Zdancewic and Viktor Vafeiadis

Publisher: 'Association for Computing Machinery (ACM)'

Year: 2015

DOI identifier: 10.1145/2737924.2738005

OAI identifier:

Provided by: MUCC (Crossref)

Download PDF:
_{Sorry, we are unable to provide the full text but you may find it at the
following location(s):}

http://sf.snu.ac.kr/gil.hur/pu... (external link)