![](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 2014: Maceio, Brazil
- Fernando Magno Quintão Pereira:
Programming Languages - 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings. Lecture Notes in Computer Science 8771, Springer 2014, ISBN 978-3-319-11862-8 - Leonardo Vieira dos Santos Reis, Vladimir Oliveira Di Iorio, Roberto da Silva Bigonha:
A Mixed Approach for Building Extensible Parsers. 1-15 - Cecilia Manzino, Alberto Pardo:
A Security Types Preserving Compiler in Haskell. 16-30 - Péricles Alves, Eduardo Figueiredo
, Fabiano Cutigi Ferrari:
Avoiding Code Pitfalls in Aspect-Oriented Programming. 31-46 - Simon Moll, Henrique Nazaré, Gustavo Vieira Machado, Raphael Ernani Rodrigues:
Bounds Check Hoisting for AddressSanitizer. 47-61 - Ernesto Copello, Alvaro Tasistro
, Bruno Bianchi:
Case of (Quite) Painless Dependently Typed Programming: Fully Certified Merge Sort in Agda. 62-76 - Marco Couto
, Tiago Carção, Jácome Cunha
, João Paulo Fernandes
, João Saraiva
:
Detecting Anomalous Energy Consumption in Android Applications. 77-91 - Ismael Figueroa
, Nicolas Tabareau, Éric Tanter:
Effect Capabilities for Haskell. 92-108 - Anderson Boettge Pinheiro, Francisco Heron de Carvalho Junior, Neemias Gabriel Pena Batista Arruda, Tiago Carneiro
:
Fusion: Abstractions for Multicore/Manycore Heterogenous Parallel Programming Using GPUs. 109-123 - Raphael Ernani Rodrigues:
Real-World Loops Are Easy to Predict. 124-138 - Gabriel Krisman Bertazi, Anderson Faustino da Silva, Edson Borin:
A Hybrid Framework to Accelerate Adaptive Compilation Systems. 139-144 - André Rauber Du Bois, Maurício Lima Pilla, Rodrigo Medeiros Duarte:
Transactional Boosting for Haskell. 145-159
![](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.