IWMM
2004
Springer
14 years 6 months ago
2004
Springer
The goal of the Cyclone project is to investigate type safety for low-level languages such as C. Our hardest challenge has been providing programmers control over memory managemen...