150 citations · 150 across the 1 of their papers we have counts for
1 paper
Sandrine Blazy, Xavier Leroy
This article presents the formal semantics of a large subset of the C language called Clight. Clight includes pointer arithmetic, "struct" and "union" types, C loops and structured…