Colle, P., & 		Machado, R.
(2025).
 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>, (pp. 93-96). Porto Alegre: SBC.
doi:10.5753/sblp.2025.10677