Programming Languages: 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings (Lecture Notes in Computer Science Book 9325)

This book constitutes the proceedings of the 19 th Brazilian Symposium on Progamming Languages, SBLP 2015, held in Belo Horizonte, Brazil, in September 2015. The 10 papers presented in this volume were carefully reviewed and selected from 26 submissions. They deal with fundamental principles and innovations in the design and implementation of programming languages and systems. Front Matter....Pages - Automatic Inference of Loop Complexity Through Polynomial Interpolation....Pages 1-15 Type Inference for GADTs and Anti-unification....Pages 16-30 Preserving Lexical Scoping When Dynamically Embedding Languages....Pages 31-43 The Dinamica Virtual Machine for Geosciences....Pages 44-58 Go Model and Object Oriented Programming....Pages 59-74 An Intrinsic Denotational Semantics for a Lazy Functional Language....Pages 75-80 Color Flipping....Pages 81-95 Deadlocks as Runtime Exceptions....Pages 96-111 Model-Driven Engineering Based on Attribute Grammars....Pages 112-127 Composable Memory Transactions for Java Using a Monadic Intermediate Language....Pages 128-142 Back Matter....Pages - This book constitutes the proceedings of the 19th Brazilian Symposium on Progamming Languages, SBLP 2015, held in Belo Horizonte, Brazil, in September 2015.℗l The 10 papers presented in this volume were carefully reviewed and selected from 26 submissions. They deal with fundamental principles and innovations in the design and implementation of programming languages and systems.℗l