


default search action
29th 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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














