Stephen A. Edwards, Jia Zeng. Static elaboration of recursion for concurrent software. In Robert Glück, Oege de Moor, editors, Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008. pages 71-80, ACM, 2008. [doi]
Abstract is missing.