P. Colle and R. Machado.
" Porcelain: A Semantic Framework for Representing and Analyzing Memory Safety Techniques", in <em>Anais do XXIX Simpósio Brasileiro de Linguagens de Programação</em>, Recife/PE, 2025, pp. 93-96, doi: <a href="https://doi.org/10.5753/sblp.2025.10677">https://doi.org/10.5753/sblp.2025.10677</a>.