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]

Authors

Gervasio Pérez

This author has not been identified. Look up 'Gervasio Pérez' in Google

Sergio Yovine

This author has not been identified. Look up 'Sergio Yovine' in Google