Browse by Subject C Memory Model

Showing results 1 to 1 of 1

1

A Formal C Memory Model Supporting Integer-Pointer Casts

Kang, Jeehoonresearcher; Hur, Chung-Kil; Mansky, William; Garbuzov, Dmitri; Zdancewic, Steve; Vafeiadis, Viktor, ACM SIGPLAN NOTICES, v.50, no.6, pp.326 - 335, 2015-06

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0