Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSBLP 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
a service of 
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.
last updated on 2024-04-22 20:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
