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]
@article{PerezY19,
title = {Formal specification and implementation of an automated pattern-based parallel-code generation framework},
author = {Gervasio Pérez and Sergio Yovine},
year = {2019},
doi = {10.1007/s10009-017-0465-2},
url = {https://doi.org/10.1007/s10009-017-0465-2},
researchr = {https://researchr.org/publication/PerezY19},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {21},
number = {2},
pages = {183-202},
}