Elvira Albert, Puri Arenas, Samir Genaim, Damiano Zanardini. Task-level analysis for a language with async/finish parallelism. In Jan Vitek, Bjorn De Sutter, editors, Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Chicago, IL, USA, April 11-14, 2011. pages 21-30, ACM, 2011. [doi]
Abstract is missing.