P. Colle and R. Machado.
" Porcelain: A Semantic Framework for Representing and Analyzing Memory Safety Techniques", in <em>Proceedings of the 29th Brazilian Symposium on Programming Languages</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>.