Stop the war!
Остановите войну!
for scientists:
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.