Formal specification and implementation of an automated pattern-based parallel-code generation framework

Gervasio PĂ©rez, Sergio Yovine. Formal specification and implementation of an automated pattern-based parallel-code generation framework. STTT, 21(2):183-202, 2019. [doi]

Abstract

Abstract is missing.