|
|
|
|
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.  |
SBLP  |
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. |
SBLP |
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. |
SBLP |
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. |
SBLP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Félix Ribeiro, Hisham Muhammad, André Murbach Maidl, Roberto Ierusalimschy |
Preserving Lexical Scoping When Dynamically Embedding Languages. |
SBLP |
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 |
SBLP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Calegari, Marcos Viera |
Model-Driven Engineering Based on Attribute Grammars. |
SBLP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Lobo, Fernando Castor |
Deadlocks as Runtime Exceptions. |
SBLP |
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. |
SBLP |
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. |
SBLP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Moll 0001, Henrique Nazaré, Gustavo Vieira Machado, Raphael Ernani Rodrigues |
Bounds Check Hoisting for AddressSanitizer. |
SBLP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Péricles Alves, Eduardo Figueiredo 0001, Fabiano Cutigi Ferrari |
Avoiding Code Pitfalls in Aspect-Oriented Programming. |
SBLP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismael Figueroa, Nicolas Tabareau, Éric Tanter |
Effect Capabilities for Haskell. |
SBLP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Raphael Ernani Rodrigues |
Real-World Loops Are Easy to Predict. |
SBLP |
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. |
SBLP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | André Rauber Du Bois, Maurício Lima Pilla, Rodrigo Medeiros Duarte |
Transactional Boosting for Haskell. |
SBLP |
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 |
SBLP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Cecilia Manzino, Alberto Pardo |
A Security Types Preserving Compiler in Haskell. |
SBLP |
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. |
SBLP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Krisman Bertazi, Anderson Faustino da Silva, Edson Borin |
A Hybrid Framework to Accelerate Adaptive Compilation Systems. |
SBLP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Hisham Muhammad, Fabio Mascarenhas, Roberto Ierusalimschy |
LuaRocks - A Declarative and Extensible Package Management System for Lua. |
SBLP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Martins 0001, João Paulo Fernandes, João Saraiva |
Zipper-Based Attribute Grammars and Their Extensions. |
SBLP |
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. |
SBLP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Pardo, João Paulo Fernandes, João Saraiva |
Multiple Intermediate Structure Deforestation by Shortcut Fusion. |
SBLP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen |
Modular Bialgebraic Semantics and Algebraic Laws. |
SBLP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Dalvan Griebler, Luiz Gustavo Fernandes |
Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming. |
SBLP |
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 |
SBLP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | André Murbach Maidl, Fabio Mascarenhas, Roberto Ierusalimschy |
Exception Handling for Error Reporting in Parsing Expression Grammars. |
SBLP |
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. |
SBLP |
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. |
SBLP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Kaizer Vizzotto, Bruno Crestani Calegaro, Eduardo Kessler Piveta |
A Double Effect λ-calculus for Quantum Computation. |
SBLP |
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. |
SBLP |
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. |
SBLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcos Viera, S. Doaitse Swierstra |
Attribute Grammar Macros. |
SBLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jácome Cunha, João Saraiva, Joost Visser 0001 |
Model-Based Programming Environments for Spreadsheets. |
SBLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Soares Barbosa |
Software Components as Invariant-Typed Arrows - (Keynote Talk). |
SBLP |
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. |
SBLP |
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. |
SBLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sérgio Medeiros 0001, Fabio Mascarenhas, Roberto Ierusalimschy |
Left Recursion in Parsing Expression Grammars. |
SBLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximilien de Bayser, Renato Cerqueira |
A System for Runtime Type Introspection in C++. |
SBLP |
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. |
SBLP |
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 |
SBLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Diogo Nunes Sampaio, Elie Gedeon, Fernando Magno Quintão Pereira, Caroline Collange |
Spill Code Placement for SIMD Machines. |
SBLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig |
The Science of Killing Bugs in a Black Box - (Keynote Talk). |
SBLP |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #144 of 144 (100 per page; Change: ) Pages: [ <<][ 1][ 2] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license