


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

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














