|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 144 publication records. Showing 144 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Leonardo Rodríguez |
An Intrinsic Denotational Semantics for a Lazy Functional Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings, pp. 75-80, 2015, Springer, 978-3-319-24011-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Demontiê, Junio Cezar R. da Silva, Mariza Andrade da Silva Bigonha, Frederico Campos, Fernando Magno Quintão Pereira |
Automatic Inference of Loop Complexity Through Polynomial Interpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings, pp. 1-15, 2015, Springer, 978-3-319-24011-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Adelaine Gelain, Cristiano D. Vasconcellos, Carlos Camarão 0001, Rodrigo Geraldo Ribeiro |
Type Inference for GADTs and Anti-unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings, pp. 16-30, 2015, Springer, 978-3-319-24011-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Bandeira, André Rauber Du Bois, Maurício L. Pilla, Juliana Kaizer Vizzotto, Marcelo Machado |
Composable Memory Transactions for Java Using a Monadic Intermediate Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings, pp. 128-142, 2015, Springer, 978-3-319-24011-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Félix Ribeiro, Hisham Muhammad, André Murbach Maidl, Roberto Ierusalimschy |
Preserving Lexical Scoping When Dynamically Embedding Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings, pp. 31-43, 2015, Springer, 978-3-319-24011-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Pardo, S. Doaitse Swierstra (eds.) |
Programming Languages - 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![Springer, 978-3-319-24011-4 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Calegari, Marcos Viera |
Model-Driven Engineering Based on Attribute Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings, pp. 112-127, 2015, Springer, 978-3-319-24011-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Lobo, Fernando Castor |
Deadlocks as Runtime Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings, pp. 96-111, 2015, Springer, 978-3-319-24011-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ernesto Copello, Alvaro Tasistro, Bruno Bianchi |
Case of (Quite) Painless Dependently Typed Programming: Fully Certified Merge Sort in Agda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings, pp. 62-76, 2014, Springer, 978-3-319-11862-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Anderson Boettge Pinheiro, Francisco Heron de Carvalho Junior, Neemias Gabriel Pena Batista Arruda, Tiago Carneiro 0001 |
Fusion: Abstractions for Multicore/Manycore Heterogenous Parallel Programming Using GPUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings, pp. 109-123, 2014, Springer, 978-3-319-11862-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Simon Moll 0001, Henrique Nazaré, Gustavo Vieira Machado, Raphael Ernani Rodrigues |
Bounds Check Hoisting for AddressSanitizer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings, pp. 47-61, 2014, Springer, 978-3-319-11862-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Péricles Alves, Eduardo Figueiredo 0001, Fabiano Cutigi Ferrari |
Avoiding Code Pitfalls in Aspect-Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings, pp. 31-46, 2014, Springer, 978-3-319-11862-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ismael Figueroa, Nicolas Tabareau, Éric Tanter |
Effect Capabilities for Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings, pp. 92-108, 2014, Springer, 978-3-319-11862-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Raphael Ernani Rodrigues |
Real-World Loops Are Easy to Predict. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings, pp. 124-138, 2014, Springer, 978-3-319-11862-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marco Couto 0001, Tiago Carção, Jácome Cunha, João Paulo Fernandes, João Saraiva |
Detecting Anomalous Energy Consumption in Android Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings, pp. 77-91, 2014, Springer, 978-3-319-11862-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | André Rauber Du Bois, Maurício Lima Pilla, Rodrigo Medeiros Duarte |
Transactional Boosting for Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings, pp. 145-159, 2014, Springer, 978-3-319-11862-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Magno Quintão Pereira (eds.) |
Programming Languages - 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![Springer, 978-3-319-11862-8 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Cecilia Manzino, Alberto Pardo |
A Security Types Preserving Compiler in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings, pp. 16-30, 2014, Springer, 978-3-319-11862-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Vieira dos Santos Reis, Vladimir Oliveira Di Iorio, Roberto da Silva Bigonha |
A Mixed Approach for Building Extensible Parsers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings, pp. 1-15, 2014, Springer, 978-3-319-11862-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Krisman Bertazi, Anderson Faustino da Silva, Edson Borin |
A Hybrid Framework to Accelerate Adaptive Compilation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings, pp. 139-144, 2014, Springer, 978-3-319-11862-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hisham Muhammad, Fabio Mascarenhas, Roberto Ierusalimschy |
LuaRocks - A Declarative and Extensible Package Management System for Lua. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings, pp. 16-30, 2013, Springer, 978-3-642-40921-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Martins 0001, João Paulo Fernandes, João Saraiva |
Zipper-Based Attribute Grammars and Their Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings, pp. 135-149, 2013, Springer, 978-3-642-40921-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Madeira, Manuel A. Martins 0001, Luís Soares Barbosa |
Boilerplates for Reconfigurable Systems: A Language and Its Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings, pp. 75-89, 2013, Springer, 978-3-642-40921-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Pardo, João Paulo Fernandes, João Saraiva |
Multiple Intermediate Structure Deforestation by Shortcut Fusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings, pp. 120-134, 2013, Springer, 978-3-642-40921-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen |
Modular Bialgebraic Semantics and Algebraic Laws. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings, pp. 46-60, 2013, Springer, 978-3-642-40921-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dalvan Griebler, Luiz Gustavo Fernandes |
Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings, pp. 105-119, 2013, Springer, 978-3-642-40921-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | André Rauber Du Bois, Phil Trinder (eds.) |
Programming Languages - 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![Springer, 978-3-642-40921-9 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | André Murbach Maidl, Fabio Mascarenhas, Roberto Ierusalimschy |
Exception Handling for Error Reporting in Parsing Expression Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings, pp. 1-15, 2013, Springer, 978-3-642-40921-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Heron de Carvalho Junior, Cenez Araújo Rezende, Jefferson de Carvalho Silva, Francisco José Lins Magalhães, Renato Caminha Juaçaba-Neto |
On the Performance of Multidimensional Array Representations in Programming Languages Based on Virtual Execution Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings, pp. 31-45, 2013, Springer, 978-3-642-40921-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Heron de Carvalho Junior, Cenez Araújo Rezende, Jefferson de Carvalho Silva, Wagner Guimarães Al-Alam |
Contextual Abstraction in a Type System for Component-Based High Performance Computing Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings, pp. 90-104, 2013, Springer, 978-3-642-40921-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Juliana Kaizer Vizzotto, Bruno Crestani Calegaro, Eduardo Kessler Piveta |
A Double Effect λ-calculus for Quantum Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings, pp. 61-74, 2013, Springer, 978-3-642-40921-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Morais Ferreira, Fernando Magno Quintão Pereira, Hermann Rodrigues, Britaldo Silveira Soares-Filho |
Optimizing a Geomodeling Domain Specific Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings, pp. 87-101, 2012, Springer, 978-3-642-33181-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Felipe Nunes Gaia, Gabriel Coutinho Sousa Ferreira, Eduardo Figueiredo 0001, Marcelo de Almeida Maia |
A Quantitative Assessment of Aspectual Feature Modules for Evolving Software Product Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings, pp. 134-149, 2012, Springer, 978-3-642-33181-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marcos Viera, S. Doaitse Swierstra |
Attribute Grammar Macros. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings, pp. 150-164, 2012, Springer, 978-3-642-33181-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jácome Cunha, João Saraiva, Joost Visser 0001 |
Model-Based Programming Environments for Spreadsheets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings, pp. 117-133, 2012, Springer, 978-3-642-33181-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Luís Soares Barbosa |
Software Components as Invariant-Typed Arrows - (Keynote Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings, pp. 1-5, 2012, Springer, 978-3-642-33181-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Vieira dos Santos Reis, Roberto da Silva Bigonha, Vladimir Oliveira Di Iorio, Luís Eduardo de Souza Amorim |
Adaptable Parsing Expression Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings, pp. 72-86, 2012, Springer, 978-3-642-33181-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Victor Hugo Sperle Campos, Raphael Ernani Rodrigues, Igor Rafael de Assis Costa, Fernando Magno Quintão Pereira |
Speed and Precision in Range Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings, pp. 42-56, 2012, Springer, 978-3-642-33181-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sérgio Medeiros 0001, Fabio Mascarenhas, Roberto Ierusalimschy |
Left Recursion in Parsing Expression Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings, pp. 27-41, 2012, Springer, 978-3-642-33181-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Maximilien de Bayser, Renato Cerqueira |
A System for Runtime Type Introspection in C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings, pp. 102-116, 2012, Springer, 978-3-642-33181-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Péricles Rafael Oliveira Alves, Igor Rafael de Assis Costa, Fernando Magno Quintão Pereira, Eduardo Magno Lages Figueiredo |
Parameter Based Constant Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings, pp. 57-71, 2012, Springer, 978-3-642-33181-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Heron de Carvalho Junior, Luís Soares Barbosa (eds.) |
Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![Springer, 978-3-642-33181-7 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Diogo Nunes Sampaio, Elie Gedeon, Fernando Magno Quintão Pereira, Caroline Collange |
Spill Code Placement for SIMD Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings, pp. 12-26, 2012, Springer, 978-3-642-33181-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard K. Aichernig |
The Science of Killing Bugs in a Black Box - (Keynote Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBLP ![In: Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings, pp. 6-11, 2012, Springer, 978-3-642-33181-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #144 of 144 (100 per page; Change: ) Pages: [ <<][ 1][ 2] |
|