Telecharger Cours

Zhong Lun Data Structures and Algorithms I - MTH251

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



Download