Author:
Pinto Pedro,Bispo Joao,Cardoso Joao,Barbosa Jorge Gomes,Gadioli Davide,Palermo Gianluca,Martinovic Jan,Golasowski Martin,Slaninova Katerina,Cmar Radim,SILVANO CRISTINA
Funder
H2020 Future and Emerging Technologies
Fundao para a Cincia e a Tecnologia
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Interactive Source-to-Source Optimizations Validated using Static Resource Analysis;Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis;2024-06-20
2. Clava: C/C++ source-to-source compilation using LARA;SoftwareX;2020-07