Structured platform-aware programming for Rust. - Francisco Heron de Carvalho Junior; José Mykael Alves Nogueira; João Marcelo Uchôa de Alencar (SBLP, 2025)