Telecharger Cours

Stéphane Ilic

This thesis addresses the problem of reasoning about the heap space usage of concurrent programs in the presence of tracing garbage collection.



Download