Article Takedown/Update Request

This is an update request for the document A formal C memory model supporting integer-pointer casts by Jeehoon Kang, Chung-Kil Hur, William Mansky, Dmitri Garbuzov, Steve Zdancewic and Viktor Vafeiadis

Your paper was deposited in MUCC (Crossref) and appears online at
Before we are able to make any updates or deletions, you must ensure that the original record at this location is updated/removed.