default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID29th SBLP 2025: Recife, PE, Brazil
- Hugo Musso Gualandi, André Murbach Maidl, Carla Silva, Jéssyka Vilela, Mariana Maia Peixoto:
Proceedings of the 29th Brazilian Symposium on Programming Languages, SBLP 2025, Recife, Brazil, September 22-26, 2025. SBC 2025 - Front Matter. i-iv
- Guilherme Daher, Elton M. Cardoso, Leonardo Vieira dos Santos Reis, Rodrigo Ribeiro:
Pest control: A formal model of the Pest parser generator. 1-9 - Evandro Chagas Ribeiro da Rosa
, Jerusa Marchi, Eduardo Inacio Duzzioni, Rafael de Santiago:
Quantum Gate Decomposition: A Study of Compilation Time vs. Execution Time Trade-offs. 10-18 - Thiago Borges de Oliveira, Ariadne de Andrade Costa:
A Compiler-Driven Approach for Static Dependency Injection in Embedded Software. 19-27 - Tayná Vieira, Vander Alves, Leopoldo Teixeira:
An Interpreter-based Framework for Static Analysis of Variability in Space and Time. 28-35 - Karla A. de S. Joriatti, Paulo Henrique Torrens, Rodrigo Geraldo Ribeiro, Cristiano Damiani Vasconcellos:
Interpretando Efeitos Algébricos por Meio de Mônadas. 36-43 - Sérgio Queiroz de Medeiros, Hugo Musso Gualandi:
Indentation-Sensitive Parsers for Free-Form Languages. 44-50 - Francisco Heron de Carvalho Junior, José Mykael Alves Nogueira, João Marcelo Uchôa de Alencar:
Structured platform-aware programming for Rust. 51-58 - Gabriel Guimarães dos Santos Ricardo, Natanael dos Santos Junior, Flavio Figueiredo, Fernando Magno Quintão Pereira:
On the Practicality of LLM-Based Compiler Fuzzing. 59-66 - Pedro Henrique Torres Peres Garozi, Anderson Faustino da Silva:
Static Analysis for Program Execution Cost Estimation. 67-74 - Leonardo Gibrowski Faé, Dalvan Griebler:
Towards GPU Parallelism Abstractions in Rust: A Case Study with Linear Pipelines. 75-83 - Flávio Borin Júnior, Juliana Kaizer Vizzotto:
Modeling Quantum Computing Constraints: No-Cloning Theorem and Monadic Expressiveness with Type-Level Programming. 84-92 - Pedro Henrique Boniatti Colle, Rodrigo Machado:
Porcelain: A Semantic Framework for Representing and Analyzing Memory Safety Techniques. 93-96 - Luiz Romário Santana Rios, Roberto Ierusalimschy:
Approaching closures in unmanaged languages: a comparison between C++, Rust, and Swift. 97-99
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-06-01 23:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
