


default search action
SBLP 2015: Belo Horizonte, Brazil
- Alberto Pardo, S. Doaitse Swierstra:

Programming Languages - 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings. Lecture Notes in Computer Science 9325, Springer 2015, ISBN 978-3-319-24011-4 - Francisco Demontiê, Junio Cezar R. da Silva, Mariza Andrade da Silva Bigonha

, Frederico F. Campos, Fernando Magno Quintão Pereira:
Automatic Inference of Loop Complexity Through Polynomial Interpolation. 1-15 - Adelaine Gelain, Cristiano D. Vasconcellos

, Carlos Camarão, Rodrigo Geraldo Ribeiro:
Type Inference for GADTs and Anti-unification. 16-30 - Félix Ribeiro, Hisham Muhammad, André Murbach Maidl, Roberto Ierusalimschy:

Preserving Lexical Scoping When Dynamically Embedding Languages. 31-43 - Bruno Morais Ferreira, Britaldo Silveira Soares-Filho, Fernando Magno Quintão Pereira:

The Dinamica Virtual Machine for Geosciences. 44-58 - Haiyang Liu, Zongyan Qiu:

Go Model and Object Oriented Programming. 59-74 - Leonardo Rodríguez:

An Intrinsic Denotational Semantics for a Lazy Functional Language. 75-80 - Felipe L. Silva, Marcelo F. Luna, Wesley Attrot:

Color Flipping. 81-95 - Rafael Lobo, Fernando Castor

:
Deadlocks as Runtime Exceptions. 96-111 - Daniel Calegari

, Marcos Viera:
Model-Driven Engineering Based on Attribute Grammars. 112-127 - 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. 128-142

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














