Abstract is missing.
- Automatic Inference of Loop Complexity Through Polynomial InterpolationFrancisco Demontiê, Junio Cezar, Mariza Andrade da Silva Bigonha, Frederico Campos, Fernando Magno Quintão Pereira. 1-15 [doi]
- Type Inference for GADTs and Anti-unificationAdelaine Gelain, Cristiano Vasconcellos, Carlos Camarão, Rodrigo Ribeiro. 16-30 [doi]
- Preserving Lexical Scoping When Dynamically Embedding LanguagesFélix Ribeiro, Hisham Muhammad, André Murbach Maidl, Roberto Ierusalimschy. 31-43 [doi]
- The Dinamica Virtual Machine for GeosciencesBruno Morais Ferreira, Britaldo Silveira Soares-Filho, Fernando Magno Quintão Pereira. 44-58 [doi]
- Go Model and Object Oriented ProgrammingHaiyang Liu, Zongyan Qiu. 59-74 [doi]
- An Intrinsic Denotational Semantics for a Lazy Functional LanguageLeonardo Rodríguez. 75-80 [doi]
- Color FlippingFelipe L. Silva, Marcelo F. Luna, Wesley Attrot. 81-95 [doi]
- Deadlocks as Runtime ExceptionsRafael Lobo, Fernando Castor. 96-111 [doi]
- Model-Driven Engineering Based on Attribute GrammarsDaniel Calegari, Marcos Viera. 112-127 [doi]
- Composable Memory Transactions for Java Using a Monadic Intermediate LanguageRafael Bandeira, André Rauber Du Bois, Maurício L. Pilla, Juliana Kaizer Vizzotto, Marcelo Machado. 128-142 [doi]