![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
SBLP 2019: Salvador, Brazil
- Proceedings of the XXIII Brazilian Symposium on Programming Languages, SBLP 2019, Salvador, Brazil, September 23-27, 2019. ACM 2019, ISBN 978-1-4503-7638-9
- Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois:
A Graph Transformation System formalism for Software Transactional Memory Opacity. 3-10 - Samuel da Silva Feitosa, Alejandro Serrano Mena, Rodrigo Geraldo Ribeiro, André Rauber Du Bois:
An Inherently-Typed Formalization for Featherweight Java. 11-18 - Andrei Rimsa, José Nelson Amaral, Fernando Magno Quintão Pereira:
Efficient and Precise Dynamic Construction of Control Flow Graphs. 19-26 - Carlos Vieira
, Sérgio Queiroz de Medeiros
:
IML - An Image Manipulation Language. 27-29 - Francisco Ribeiro
, João Saraiva
, Alberto Pardo:
Java Stream Fusion: Adapting FP mechanisms for an OO setting. 30-37 - Rafael Ravedutti L. Machado, André Murbach Maidl, Daniel Weingaertner:
Profiling Halide DSL with CPU Performance Events for Schedule Optimization. 38-45 - Leonardo Piñeyro, Alberto Pardo, Marcos Viera:
Structure verification of deep neural networks at compilation time using dependent types. 46-53 - Ricardo Pieper, Dalvan Griebler
, Luiz Gustavo Fernandes
:
Structured Stream Parallelism for Rust. 54-61 - 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. 62-69 - Rodrigo Geraldo Ribeiro, Leonardo Vieira dos Santos Reis, Samuel da Silva Feitosa, Elton M. Cardoso:
Towards Typed Semantics for Parsing Expression Grammars. 70-77
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.