Dan Grossman et al "Region-based Memory Management in Cyclone" (2002) |
[ACM] (2002) ACM Conference on Programming Language Design and Implementation, Berlin, Germany, June, 2002
Languages mentioned
- Cyclone {1998}
- LCF {1972} Logic for Computable Functions
|
|
|