Programming Languages

19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings

  • Alberto Pardo
  • S. Doaitse Swierstra
Conference proceedings SBLP 2015

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9325)

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 9325)

Table of contents

  1. Front Matter
    Pages I-IX
  2. Francisco Demontiê, Junio Cezar, Mariza Bigonha, Frederico Campos, Fernando Magno Quintão Pereira
    Pages 1-15
  3. Adelaine Gelain, Cristiano Vasconcellos, Carlos Camarão, Rodrigo Ribeiro
    Pages 16-30
  4. Félix Ribeiro, Hisham Muhammad, André Murbach Maidl, Roberto Ierusalimschy
    Pages 31-43
  5. Bruno Morais Ferreira, Britaldo Silveira Soares-Filho, Fernando Magno Quintão Pereira
    Pages 44-58
  6. Haiyang Liu, Zongyan Qiu
    Pages 59-74
  7. Felipe L. Silva, Marcelo F. Luna, Wesley Attrot
    Pages 81-95
  8. Rafael Lobo, Fernando Castor
    Pages 96-111
  9. Daniel Calegari, Marcos Viera
    Pages 112-127
  10. Rafael Bandeira, André R. Du Bois, Maurício Pilla, Juliana Vizzotto, Marcelo Machado
    Pages 128-142
  11. Back Matter
    Pages 143-143

About these proceedings


This book constitutes the proceedings of the 19th 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. 


Abstract interpretation Domain specific languages Formal semantics of programming languages Program analysis and verification Theoretical foundations of programming Compilation and interpretation techniques Concurrency Denotational semantics Embedded languages Haskell Meta-programming Model Driven engineering Object oriented Program generation and transformation Programming language Programming language environments Programming paradigms and styles Static analysis Type systems Type theory

Editors and affiliations

  • Alberto Pardo
    • 1
  • S. Doaitse Swierstra
    • 2
  1. 1.Universidad de La RepublicaMontevideoUruguay
  2. 2.Utrecht UniversityUtrechtThe Netherlands

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-24011-4
  • Online ISBN 978-3-319-24012-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Oil, Gas & Geosciences