Home

David__Detlefs


Garbage collection and run-time typing as a C++ library

Memory Allocation Costs in Large C and C++ Programs

Simplify: A theorem prover for program checking