Telecharger Cours

A General Framework for Static Resource Analysis and Profiling of ...

In [9] the authors present a static analysis which is able to infer upper bounds on the maximum number of active (i.e., not finished nor suspended) processes ...



Download