Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | André Rauber Du Bois, Gerson G. H. Cavalheiro |
GPotion: An embedded DSL for GPU programming in Elixir. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXVII Brazilian Symposium on Programming Languages, SBLP 2023, Campo Grande, MS, Brazil, September 25-29, 2023, pp. 1-8, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jerônimo da Cunha Ramos, André Rauber Du Bois, Gerson G. H. Cavalheiro |
Obstruction-Free Distributed Transactional Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXVII Brazilian Symposium on Programming Languages, SBLP 2023, Campo Grande, MS, Brazil, September 25-29, 2023, pp. 33-40, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Holmquist, Vitor Emanuel, Fernando Magno Quintão Pereira |
Lushu: Ofuscação de Dados Sigilosos via Reconhecimento de Linguagens a partir de Exemplos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXVII Brazilian Symposium on Programming Languages, SBLP 2023, Campo Grande, MS, Brazil, September 25-29, 2023, pp. 91-98, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Sumitani, Lucas Silva, Frederico Campos, Fernando Magno Quintão Pereira |
A Class of Programs that Admit Exact Complexity Analysis via Newton?s Polynomial Interpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXVII Brazilian Symposium on Programming Languages, SBLP 2023, Campo Grande, MS, Brazil, September 25-29, 2023, pp. 50-55, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Elton Maximo Cardoso, Rodrigo Geraldo Ribeiro, Leonardo Vieira dos Santos Reis, Marcos Emiliano |
A Haskell Library for Adaptable Parsing Expression Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXVII Brazilian Symposium on Programming Languages, SBLP 2023, Campo Grande, MS, Brazil, September 25-29, 2023, pp. 73-81, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nataniel Siebeneichler, Felipe Grando, Giancarlo Salton, Samuel da Silva Feitosa |
Uma DSL para gerar APIs RESTFul em Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXVII Brazilian Symposium on Programming Languages, SBLP 2023, Campo Grande, MS, Brazil, September 25-29, 2023, pp. 9-16, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings of the XXVII Brazilian Symposium on Programming Languages, SBLP 2023, Campo Grande, MS, Brazil, September 25-29, 2023 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![ACM The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sérgio Queiroz de Medeiros, Marcelo Borges Nogueira, Gustavo Quezado Gurgel Magalhães |
Analyzing the Time x Energy Relation in C++ Solutions Mined from a Programming Contest Site. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXVII Brazilian Symposium on Programming Languages, SBLP 2023, Campo Grande, MS, Brazil, September 25-29, 2023, pp. 64-72, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Heron de Carvalho Junior, Tiago Carneiro 0001 |
A Component Model for Multilevel Parallel Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXVII Brazilian Symposium on Programming Languages, SBLP 2023, Campo Grande, MS, Brazil, September 25-29, 2023, pp. 25-32, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Neder, Ricardo Miranda Filho, Jônatas Azevedo, Larissa Pessoa, Rosiane de Freitas, Raimundo S. Barreto |
Análise comparativa entre linguagens de programação em sistemas embarcados móveis Android. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXVII Brazilian Symposium on Programming Languages, SBLP 2023, Campo Grande, MS, Brazil, September 25-29, 2023, pp. 56-63, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo G. Faé, Renato B. Hoffmann, Dalvan Griebler |
Source-to-Source Code Transformation on Rust for High-Level Stream Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXVII Brazilian Symposium on Programming Languages, SBLP 2023, Campo Grande, MS, Brazil, September 25-29, 2023, pp. 41-49, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Elton Maximo Cardoso, Leonardo Vieira dos Santos Reis, Rodrigo Geraldo Ribeiro |
A Verified Operational Semantics for Regular Expression Parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXVII Brazilian Symposium on Programming Languages, SBLP 2023, Campo Grande, MS, Brazil, September 25-29, 2023, pp. 82-90, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Natanael Zago, Andrei Braga, Braulio Mello, Samuel da Silva Feitosa |
Usando Esquema GraphQL para Geração de Consultas de Forma Aleatória. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXVII Brazilian Symposium on Programming Languages, SBLP 2023, Campo Grande, MS, Brazil, September 25-29, 2023, pp. 17-24, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Elton Maximo Cardoso, Daniel Freitas Pereira, Regina Sarah Monferrari Amorim De Paula, Leonardo Vieira dos Santos Reis, Rodrigo Geraldo Ribeiro |
A Type-Directed Algorithm to Generate Random Well-Formed Parsing Expression Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6 - 7, 2022, pp. 8-14, 2022, ACM, 978-1-4503-9744-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Dinei A. Rockenbach, Júnior Löff, Gabriell Alves de Araujo, Dalvan Griebler, Luiz Gustavo Fernandes |
High-Level Stream and Data Parallelism in C++ for GPUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6 - 7, 2022, pp. 41-49, 2022, ACM, 978-1-4503-9744-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois |
Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6 - 7, 2022, pp. 15-23, 2022, ACM, 978-1-4503-9744-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nelson Gregório, João Paulo Fernandes, João Bispo, Sérgio Medeiros 0001 |
E-APK: Energy Pattern Detection in Decompiled Android Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6 - 7, 2022, pp. 50-58, 2022, ACM, 978-1-4503-9744-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Anna Leticia Alegria, Roberto Ierusalimschy, Noemi de La Rocque Rodriguez |
EventManager - a tool to help students analyse concurrent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6 - 7, 2022, pp. 24-31, 2022, ACM, 978-1-4503-9744-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Coutinho De Paula, Roberto Ierusalimschy |
A Foreign Function Interface for Pallene. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6 - 7, 2022, pp. 32-40, 2022, ACM, 978-1-4503-9744-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Cecília Kind, Joao Coelho, Bruno Kind, Fernando Pereira |
Geração Automática de Benchmarks para Compilação Preditiva. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6 - 7, 2022, pp. 59-67, 2022, ACM, 978-1-4503-9744-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Thaís Damásio, Michael Canesche, Vinícius Pacheco, Anderson Faustino da Silva, Fernando Magno Quintão Pereira |
Impacto de Ofuscadores e Otimizadores de Código na Acurácia de Classificadores de Programas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6 - 7, 2022, pp. 68-75, 2022, ACM, 978-1-4503-9744-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo de Almeida Maia, Fábio Dorça, Rafael Dias Araújo, Cristiano Damiani Vasconcellos (eds.) |
SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6 - 7, 2022 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![ACM, 978-1-4503-9744-5 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ariel Agne Da Silveira, Rodrigo Ribeiro, Miguel Alfredo Nunes, Paulo Torrens, Karina Girardi Roggia |
A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6 - 7, 2022, pp. 1-7, 2022, ACM, 978-1-4503-9744-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Vinícius Julião, Alexander Holmquist, Flávio Lúcio, Celso Simões, Fernando Pereira |
Hapi: A Domain-Specific Language for the Declaration of Access Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021 - 1 October 2021, pp. 9-16, 2021, ACM, 978-1-4503-9062-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Freitas, André Leite Ferreira, Jácome Cunha |
Refactoring Java Monoliths into Executable Microservice-Based Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021 - 1 October 2021, pp. 100-107, 2021, ACM, 978-1-4503-9062-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | José Duarte, António Ravara |
Retrofitting Typestates into Rust. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021 - 1 October 2021, pp. 83-91, 2021, ACM, 978-1-4503-9062-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Thaís Damásio, Vinícius Pacheco, Luís Fabrício Wanderley Góes, Fernando Pereira, Rodrigo Rocha |
Inlining for Code Size Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021 - 1 October 2021, pp. 17-24, 2021, ACM, 978-1-4503-9062-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Junior Loff, Renato B. Hoffmann, Dalvan Griebler, Luiz Gustavo Fernandes |
High-Level Stream and Data Parallelism in C++ for Multi-Cores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021 - 1 October 2021, pp. 41-48, 2021, ACM, 978-1-4503-9062-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Musso Gualandi, Roberto Ierusalimschy |
A Surprisingly Simple Lua Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021 - 1 October 2021, pp. 1-8, 2021, ACM, 978-1-4503-9062-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Kaplan, Roberto Ierusalimschy |
Evaluating Optimizations for a High-Level Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021 - 1 October 2021, pp. 25-32, 2021, ACM, 978-1-4503-9062-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Gabriela Araujo Britto, Leopoldo Teixeira, Rohit Gheyi |
TSDolly: A program generator for TypeScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021 - 1 October 2021, pp. 66-74, 2021, ACM, 978-1-4503-9062-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Andre D. Jardim, Kevin Oliveira, Diogo J. Cardoso, Daniel Di Domenico, André Rauber Du Bois, Gerson G. H. Cavalheiro |
An extension for Transactional Memory in OpenMP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021 - 1 October 2021, pp. 58-65, 2021, ACM, 978-1-4503-9062-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Luiz Felipe Kraus, Bruno Schafaschek, Rodrigo Geraldo Ribeiro, Samuel da Silva Feitosa |
Synthesis of Random Real-World Java Programs from Preexisting Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021 - 1 October 2021, pp. 108-115, 2021, ACM, 978-1-4503-9062-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Cristiano D. Vasconcellos, Karina Girardi Roggia, Paulo Bousfield, Vanessa Collereii, João Paulo Fernandes, Mário Pereira (eds.) |
SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021 - 1 October 2021 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![ACM, 978-1-4503-9062-0 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nilton Luiz Queiroz Junior, Anderson Faustino da Silva |
A Graph-based Model for Building Optimization Sequences: A Study Case on Code Size Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021 - 1 October 2021, pp. 92-99, 2021, ACM, 978-1-4503-9062-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois |
A Graph Transformation System formalism for correctness of Transactional Memory algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021 - 1 October 2021, pp. 49-57, 2021, ACM, 978-1-4503-9062-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Anderson Faustino da Silva |
Graphs based on IR as Representation of Code: Types and Insights. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021 - 1 October 2021, pp. 75-82, 2021, ACM, 978-1-4503-9062-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Anderson Faustino da Silva, Edson Borin, Fernando Magno Quintão Pereira, Otávio Oliveira Napoli, Vanderson Martins do Rosário |
New Optimization Sequences for Code-Size Reduction for the LLVM Compilation Infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021 - 1 October 2021, pp. 33-40, 2021, ACM, 978-1-4503-9062-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro |
An Intrinsically-Typed Solution for the List-Machine Benchmark. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP '20: 24th Brazilian Symposium on Programming Languages, Natal, Rio Grande do Norte, Brazil, October 19-23, 2020, pp. 1-8, 2020, ACM, 978-1-4503-8943-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Felipe Sasdelli, Maycon Amaro, Elton M. Cardoso, Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro |
Syntax vs Semantics: Comparing Consistency Proofs for Minimal Propositional Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP '20: 24th Brazilian Symposium on Programming Languages, Natal, Rio Grande do Norte, Brazil, October 19-23, 2020, pp. 9-16, 2020, ACM, 978-1-4503-8943-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | André Felipe Zanella, Anderson Faustino da Silva, Fernando Magno Quintão Pereira |
YACOS: a Complete Infrastructure to the Design and Exploration of Code Optimization Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP '20: 24th Brazilian Symposium on Programming Languages, Natal, Rio Grande do Norte, Brazil, October 19-23, 2020, pp. 56-63, 2020, ACM, 978-1-4503-8943-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Castro G. Silva, Cristiano D. Vasconcellos, Karina Girardi Roggia |
Monadic W in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP '20: 24th Brazilian Symposium on Programming Languages, Natal, Rio Grande do Norte, Brazil, October 19-23, 2020, pp. 25-32, 2020, ACM, 978-1-4503-8943-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Everton Cavalcante, Francisco Dantas, Thaís Batista (eds.) |
SBLP '20: 24th Brazilian Symposium on Programming Languages, Natal, Rio Grande do Norte, Brazil, October 19-23, 2020 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![ACM, 978-1-4503-8943-3 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mauricio Cassola, Agustín Talagorria, Alberto Pardo, Marcos Viera |
A Gradual Type System for Elixir. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP '20: 24th Brazilian Symposium on Programming Languages, Natal, Rio Grande do Norte, Brazil, October 19-23, 2020, pp. 17-24, 2020, ACM, 978-1-4503-8943-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Renato B. Hoffmann, Dalvan Griebler, Marco Danelutto, Luiz Gustavo Fernandes |
Stream Parallelism Annotations for Multi-Core Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP '20: 24th Brazilian Symposium on Programming Languages, Natal, Rio Grande do Norte, Brazil, October 19-23, 2020, pp. 48-55, 2020, ACM, 978-1-4503-8943-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Sofiato, Fábio Levy Siqueira, Ricardo Luis de Azevedo da Rocha |
Towards an order-aware object comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP '20: 24th Brazilian Symposium on Programming Languages, Natal, Rio Grande do Norte, Brazil, October 19-23, 2020, pp. 64-71, 2020, ACM, 978-1-4503-8943-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ciro M. Medeiros, Martin A. Musicante, Umberto Souza da Costa |
An Algorithm for Context-Free Path Queries over Graph Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP '20: 24th Brazilian Symposium on Programming Languages, Natal, Rio Grande do Norte, Brazil, October 19-23, 2020, pp. 40-47, 2020, ACM, 978-1-4503-8943-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Santiago Arranz Olmos, Martín Fernández, Matías Steinberg, Alejandro Gadea, Emmanuel Gunther, Miguel Pagano |
A formalisation of LEGv8 in Agda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: SBLP '20: 24th Brazilian Symposium on Programming Languages, Natal, Rio Grande do Norte, Brazil, October 19-23, 2020, pp. 33-39, 2020, ACM, 978-1-4503-8943-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Ribeiro, João Saraiva, Alberto Pardo |
Java Stream Fusion: Adapting FP mechanisms for an OO setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXIII Brazilian Symposium on Programming Languages, SBLP 2019, Salvador, Brazil, September 23-27, 2019, pp. 30-37, 2019, ACM, 978-1-4503-7638-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Samuel da Silva Feitosa, Alejandro Serrano Mena, Rodrigo Geraldo Ribeiro, André Rauber Du Bois |
An Inherently-Typed Formalization for Featherweight Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXIII Brazilian Symposium on Programming Languages, SBLP 2019, Salvador, Brazil, September 23-27, 2019, pp. 11-18, 2019, ACM, 978-1-4503-7638-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Vieira, Sérgio Queiroz de Medeiros |
IML - An Image Manipulation Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXIII Brazilian Symposium on Programming Languages, SBLP 2019, Salvador, Brazil, September 23-27, 2019, pp. 27-29, 2019, ACM, 978-1-4503-7638-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Pieper, Dalvan Griebler, Luiz Gustavo Fernandes |
Structured Stream Parallelism for Rust. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXIII Brazilian Symposium on Programming Languages, SBLP 2019, Salvador, Brazil, September 23-27, 2019, pp. 54-61, 2019, ACM, 978-1-4503-7638-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings of the XXIII Brazilian Symposium on Programming Languages, SBLP 2019, Salvador, Brazil, September 23-27, 2019 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![ACM, 978-1-4503-7638-9 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois |
A Graph Transformation System formalism for Software Transactional Memory Opacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXIII Brazilian Symposium on Programming Languages, SBLP 2019, Salvador, Brazil, September 23-27, 2019, pp. 3-10, 2019, ACM, 978-1-4503-7638-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Ravedutti L. Machado, André Murbach Maidl, Daniel Weingaertner |
Profiling Halide DSL with CPU Performance Events for Schedule Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXIII Brazilian Symposium on Programming Languages, SBLP 2019, Salvador, Brazil, September 23-27, 2019, pp. 38-45, 2019, ACM, 978-1-4503-7638-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo Geraldo Ribeiro, Leonardo Vieira dos Santos Reis, Samuel da Silva Feitosa, Elton M. Cardoso |
Towards Typed Semantics for Parsing Expression Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXIII Brazilian Symposium on Programming Languages, SBLP 2019, Salvador, Brazil, September 23-27, 2019, pp. 70-77, 2019, ACM, 978-1-4503-7638-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Breno Campos Ferreira Guimarães, José Wesley de S. Magalhães, Anderson Faustino da Silva, Fernando M. Q. Pereira |
Synthesis of Benchmarks for the C Programming Language by Mining Software Repositories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXIII Brazilian Symposium on Programming Languages, SBLP 2019, Salvador, Brazil, September 23-27, 2019, pp. 62-69, 2019, ACM, 978-1-4503-7638-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Piñeyro, Alberto Pardo, Marcos Viera |
Structure verification of deep neural networks at compilation time using dependent types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXIII Brazilian Symposium on Programming Languages, SBLP 2019, Salvador, Brazil, September 23-27, 2019, pp. 46-53, 2019, ACM, 978-1-4503-7638-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Rimsa, José Nelson Amaral, Fernando Magno Quintão Pereira |
Efficient and Precise Dynamic Construction of Control Flow Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXIII Brazilian Symposium on Programming Languages, SBLP 2019, Salvador, Brazil, September 23-27, 2019, pp. 19-26, 2019, ACM, 978-1-4503-7638-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ismael Figueroa, Bruno García, Paul Leger |
Towards progressive program verification in Dafny. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXII Brazilian Symposium on Programming Languages, SBLP 2018, Sao Carlos, Brazil, September 20-21, 2018, pp. 90-97, 2018, ACM, 978-1-4503-6480-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gilberto Melfe, Alcides Fonseca, João Paulo Fernandes |
Evaluation of the impact on energy consumption of lazy versus strict evaluation of Haskell data-structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXII Brazilian Symposium on Programming Languages, SBLP 2018, Sao Carlos, Brazil, September 20-21, 2018, pp. 83-89, 2018, ACM, 978-1-4503-6480-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thales Antônio Delfino, Rodrigo Geraldo Ribeiro |
Towards certified virtual machine-based regular expression parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXII Brazilian Symposium on Programming Languages, SBLP 2018, Sao Carlos, Brazil, September 20-21, 2018, pp. 67-74, 2018, ACM, 978-1-4503-6480-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gabriela Moreira, Cristiano D. Vasconcellos, Rodrigo Geraldo Ribeiro |
Type inference for GADTs, outsidein and anti-unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXII Brazilian Symposium on Programming Languages, SBLP 2018, Sao Carlos, Brazil, September 20-21, 2018, pp. 51-58, 2018, ACM, 978-1-4503-6480-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois |
Property-based testing for lambda expressions semantics in featherweight Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXII Brazilian Symposium on Programming Languages, SBLP 2018, Sao Carlos, Brazil, September 20-21, 2018, pp. 43-50, 2018, ACM, 978-1-4503-6480-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sérgio Queiroz de Medeiros, Fabio Mascarenhas |
Towards automatic error recovery in parsing expression grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXII Brazilian Symposium on Programming Languages, SBLP 2018, Sao Carlos, Brazil, September 20-21, 2018, pp. 3-10, 2018, ACM, 978-1-4503-6480-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Ramos, Gleison Souza Diniz Mendonca, Guilherme V. Leobas, Fernando Magno Quintão Pereira |
Taskminer: automatic identification of tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXII Brazilian Symposium on Programming Languages, SBLP 2018, Sao Carlos, Brazil, September 20-21, 2018, pp. 11-18, 2018, ACM, 978-1-4503-6480-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Diogo J. Cardoso, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta |
AsyncRFJ: an asynchronous approach to reactive object-oriented programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXII Brazilian Symposium on Programming Languages, SBLP 2018, Sao Carlos, Brazil, September 20-21, 2018, pp. 35-42, 2018, ACM, 978-1-4503-6480-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Elder Rodrigues Jr., Rafael Serapilha Durelli, Raphael Winckler de Bettio, Leonardo Montecchi, Ricardo Terra |
Refactorings for replacing dynamic instructions with static ones: the case of ruby. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXII Brazilian Symposium on Programming Languages, SBLP 2018, Sao Carlos, Brazil, September 20-21, 2018, pp. 59-66, 2018, ACM, 978-1-4503-6480-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Camarão 0001, Martin Sulzmann (eds.) |
Proceedings of the XXII Brazilian Symposium on Programming Languages, SBLP 2018, Sao Carlos, Brazil, September 20-21, 2018 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![ACM, 978-1-4503-6480-5 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Musso Gualandi, Roberto Ierusalimschy |
Pallene: a statically typed companion language for lua. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXII Brazilian Symposium on Programming Languages, SBLP 2018, Sao Carlos, Brazil, September 20-21, 2018, pp. 19-26, 2018, ACM, 978-1-4503-6480-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Renan Santos, Noemi de La Rocque Rodriguez, Roberto Ierusalimschy |
Revisiting monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXII Brazilian Symposium on Programming Languages, SBLP 2018, Sao Carlos, Brazil, September 20-21, 2018, pp. 75-82, 2018, ACM, 978-1-4503-6480-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Guilherme V. Leobas, Breno Campos Ferreira Guimarães, Fernando Magno Quintão Pereira |
More than meets the eye: invisible instructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the XXII Brazilian Symposium on Programming Languages, SBLP 2018, Sao Carlos, Brazil, September 20-21, 2018, pp. 27-34, 2018, ACM, 978-1-4503-6480-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo Geraldo Ribeiro, André Rauber Du Bois |
Certified Bit-Coded Regular Expression Parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the 21st Brazilian Symposium on Programming Languages, SBLP 2017, Fortaleza, CE, Brazil, September 21-22, 2017, pp. 4:1-4:8, 2017, ACM, 978-1-4503-5389-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ismael Figueroa |
A preliminary assessment of how monads are used in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the 21st Brazilian Symposium on Programming Languages, SBLP 2017, Fortaleza, CE, Brazil, September 21-22, 2017, pp. 8:1-8:7, 2017, ACM, 978-1-4503-5389-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | João F. N. Carvalho, Bruno Luan de Sousa, Marcus R. Araújo, Mariza A. S. Bigonha |
The Register Allocation and Instruction Scheduling Challenge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the 21st Brazilian Symposium on Programming Languages, SBLP 2017, Fortaleza, CE, Brazil, September 21-22, 2017, pp. 3:1-3:9, 2017, ACM, 978-1-4503-5389-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Mascarenhas (eds.) |
Proceedings of the 21st Brazilian Symposium on Programming Languages, SBLP 2017, Fortaleza, CE, Brazil, September 21-22, 2017 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![ACM, 978-1-4503-5389-2 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Leite Viana, Andre Luís de Medeiros Santos |
A Domain-Specific Language for the Specification of Gesture-based Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the 21st Brazilian Symposium on Programming Languages, SBLP 2017, Fortaleza, CE, Brazil, September 21-22, 2017, pp. 11:1-11:7, 2017, ACM, 978-1-4503-5389-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Fellipe Augusto Ugliara, Gustavo Maciel Dias Vieira, José de Oliveira Guimarães |
Transparent Replication Using Metaprogramming in Cyan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the 21st Brazilian Symposium on Programming Languages, SBLP 2017, Fortaleza, CE, Brazil, September 21-22, 2017, pp. 9:1-9:8, 2017, ACM, 978-1-4503-5389-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Paulo Torrens, Cristiano D. Vasconcellos, Junia Gonçalves |
A hybrid intermediate language between SSA and CPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the 21st Brazilian Symposium on Programming Languages, SBLP 2017, Fortaleza, CE, Brazil, September 21-22, 2017, pp. 1:1-1:3, 2017, ACM, 978-1-4503-5389-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marco Couto 0001, Rui Pereira, Francisco Ribeiro, Rui Rua, João Saraiva |
Towards a Green Ranking for Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the 21st Brazilian Symposium on Programming Languages, SBLP 2017, Fortaleza, CE, Brazil, September 21-22, 2017, pp. 7:1-7:8, 2017, ACM, 978-1-4503-5389-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Henrique Rebêlo, Gary T. Leavens |
Aspect-Oriented Programming Reloaded. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the 21st Brazilian Symposium on Programming Languages, SBLP 2017, Fortaleza, CE, Brazil, September 21-22, 2017, pp. 10:1-10:8, 2017, ACM, 978-1-4503-5389-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Junio Cezar R. da Silva, Fernando Magno Quintão Pereira |
Demand-driven less-than analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the 21st Brazilian Symposium on Programming Languages, SBLP 2017, Fortaleza, CE, Brazil, September 21-22, 2017, pp. 2:1-2:8, 2017, ACM, 978-1-4503-5389-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gonzalo Waszczuk, Alberto Pardo, Marcos Viera |
Extensible records in Idris. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the 21st Brazilian Symposium on Programming Languages, SBLP 2017, Fortaleza, CE, Brazil, September 21-22, 2017, pp. 5:1-5:8, 2017, ACM, 978-1-4503-5389-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alejandro Gadea, Emmanuel Gunther, Miguel Pagano |
The importance of being Extrinsic: Coherence and adequacy for a call-by-value language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Proceedings of the 21st Brazilian Symposium on Programming Languages, SBLP 2017, Fortaleza, CE, Brazil, September 21-22, 2017, pp. 6:1-6:8, 2017, ACM, 978-1-4503-5389-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | João Paulo Fernandes, Pedro Martins 0001, Alberto Pardo, João Saraiva, Marcos Viera |
Memoized Zipper-Based Attribute Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings, pp. 46-61, 2016, Springer, 978-3-319-45278-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jefferson de Carvalho Silva, Francisco Heron de Carvalho Junior |
A Platform of Scientific Workflows for Orchestration of Parallel Components in a Cloud of High Performance Computing Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings, pp. 156-170, 2016, Springer, 978-3-319-45278-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ke Zhang, Zongyan Qiu |
Comparison Between Model Fields and Abstract Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings, pp. 171-186, 2016, Springer, 978-3-319-45278-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tarsila Bessa, Pedro Quintão, Michael Frank 0008, Fernando Magno Quintão Pereira |
JetsonLeap: A Framework to Measure Energy-Aware Code Optimizations in Embedded and Heterogeneous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings, pp. 16-30, 2016, Springer, 978-3-319-45278-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Denis Firsov, Wolfgang Jeltsch |
Purely Functional Incremental Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings, pp. 62-77, 2016, Springer, 978-3-319-45278-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Samuel da Silva Feitosa, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta, André Rauber Du Bois |
A Monadic Semantics for Quantum Computing in Featherweight Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings, pp. 31-45, 2016, Springer, 978-3-319-45278-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo Medeiros Duarte, André Rauber Du Bois, Maurício L. Pilla, Gerson G. H. Cavalheiro, Renata Hax Sander Reiser |
Concurrent Hash Tables for Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings, pp. 110-124, 2016, Springer, 978-3-319-45278-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tingting Hu, Haiyang Liu, Ke Zhang, Zongyan Qiu |
Automatic Annotating and Checking of Dynamic Ownership. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings, pp. 78-94, 2016, Springer, 978-3-319-45278-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo Geraldo Ribeiro, Carlos Camarão 0001, Lucília Figueiredo, Cristiano D. Vasconcellos |
Optional Type Classes for Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings, pp. 125-139, 2016, Springer, 978-3-319-45278-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Raul Lopes 0002, Rodrigo Geraldo Ribeiro, Carlos Camarão 0001 |
Certified Derivative-Based Parsing of Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings, pp. 95-109, 2016, Springer, 978-3-319-45278-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Julia Belyakova |
Language Support for Generic Programming in Object-Oriented Languages: Peculiarities, Drawbacks, Ways of Improvement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings, pp. 1-15, 2016, Springer, 978-3-319-45278-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Castor, Yu David Liu (eds.) |
Programming Languages - 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![Springer, 978-3-319-45278-4 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo C. O. Rocha, Luís F. W. Góes, Fernando Magno Quintão Pereira |
An Algebraic Framework for Parallelizing Recurrence in Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings, pp. 140-155, 2016, Springer, 978-3-319-45278-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Haiyang Liu, Zongyan Qiu |
Go Model and Object Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings, pp. 59-74, 2015, Springer, 978-3-319-24011-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Morais Ferreira, Britaldo Silveira Soares-Filho, Fernando Magno Quintão Pereira |
The Dinamica Virtual Machine for Geosciences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings, pp. 44-58, 2015, Springer, 978-3-319-24011-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Felipe L. Silva, Marcelo F. Luna, Wesley Attrot |
Color Flipping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings, pp. 81-95, 2015, Springer, 978-3-319-24011-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|