Colle, P., & 		Machado, R.
2025 set 22.  Porcelain: A Semantic Framework for Representing and Analyzing Memory Safety Techniques. Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP). [Online] :