A General Framework for Static Resource Analysis and Profiling of (Parallel) Programs and an Application to Runtime Checking | Publicación