Sylvain Dailler. Extension paramétrée de compilateur certifié pour la programmation parallèle. (Parameterised extension of certified compiler for parallel programming). PhD thesis, University of Orléans, France, 2015. [doi]
@phdthesis{hal-8455, title = {Extension paramétrée de compilateur certifié pour la programmation parallèle. (Parameterised extension of certified compiler for parallel programming)}, author = {Sylvain Dailler}, year = {2015}, url = {https://tel.archives-ouvertes.fr/tel-01371936}, researchr = {https://researchr.org/publication/hal-8455}, cites = {0}, citedby = {0}, school = {University of Orléans, France}, }