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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.