ملف الباحث

Filipe Figueiredo Correia

ورقتان في مجموعة PaperMetrix

المنشورات

أوراق هذا المؤلف

Engineering Software for the Cloud

2018

Cloud software continues to expand globally, highly motivated by how widespread the Internet is and the possibilities it unlocks with cloud computing. Still, cloud development has some intrinsic properties to it, making it complex to …
Multi-language static code analysis on the LARA framework

2021

We propose a mechanism to raise the abstraction level of source-code analysis and robustly support multiple languages. Built on top of the LARA framework, it allows sharing language specifications between LARA source-to-source compilers, and enables …