c-semantics AT lists.cs.illinois.edu

Subject: C Semantics in K Framework

List archive

[C-Semantics] an extension of the c semantics: CUDA-C

From: Chucky Ellison <celliso2 AT illinois.edu>
To: undisclosed-recipients:;
Subject: [C-Semantics] an extension of the c semantics: CUDA-C
Date: Fri, 30 Nov 2012 23:10:33 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/c-semantics/>
List-id: C Semantics in K Framework <c-semantics.cs.illinois.edu>

There is a new article about an extension of our C semantics in K, that can be found here: http://arxiv.org/abs/1211.6193 , called "Formal Semantics of Heterogeneous CUDA-C: A Modular Approach with Applications" by Chris Hathhorn, Michela Becchi, William Harrison and Adam Procter. The paper is in SSV 2012.

-Chucky

[C-Semantics] an extension of the c semantics: CUDA-C, Chucky Ellison, 11/30/2012