Published in
Association for Computing Machinery (ACM), Proceedings of the ACM on Programming Languages, POPL(5), p. 1-24, 2021
DOI: 10.1145/3434321
Links
Tools
Verified code generation for the polyhedral model
Journal article published in 2021 by
Nathanaël Courant,
Xavier Leroy
This paper is made freely available by the publisher.
Full text: Download
Data provided by 