Programming Languages

18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings

  • Fernando Magno Quintão Pereira
Conference proceedings SBLP 2014

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

Table of contents

  1. Front Matter
  2. Leonardo Vieira dos Santos Reis, Vladimir Oliveira Di Iorio, Roberto S. Bigonha
    Pages 1-15
  3. Cecilia Manzino, Alberto Pardo
    Pages 16-30
  4. Péricles Alves, Eduardo Figueiredo, Fabiano Ferrari
    Pages 31-46
  5. Simon Moll, Henrique Nazaré, Gustavo Vieira Machado, Raphael Ernani Rodrigues
    Pages 47-61
  6. Ernesto Copello, Álvaro Tasistro, Bruno Bianchi
    Pages 62-76
  7. Marco Couto, Tiago Carção, Jácome Cunha, João Paulo Fernandes, João Saraiva
    Pages 77-91
  8. Ismael Figueroa, Nicolas Tabareau, Éric Tanter
    Pages 92-108
  9. Anderson Boettge Pinheiro, Francisco Heron de Carvalho Junior, Neemias Gabriel Pena Batista Arruda, Tiago Carneiro
    Pages 109-123
  10. Raphael Ernani Rodrigues
    Pages 124-138
  11. Gabriel Krisman Bertazi, Anderson Faustino da Silva, Edson Borin
    Pages 139-144
  12. André Rauber Du Bois, Maurício Lima Pilla, Rodrigo Duarte
    Pages 145-159
  13. Back Matter

About these proceedings


This book constitutes the proceedings of the 18th Brazilian Symposium on Programming Languages, SBLP 2014, held in Maceio, Brazil, in October 2014. The 11 full papers were carefully reviewed and selected from 31 submissions. The papers cover topics such as program generation and transformation; programming paradigms and styles; formal semantics and theoretical foundations; program analysis and verification; programming language design and implementation.


functional programming modular language specifications parsing scripting languages theorem proving

Editors and affiliations

  • Fernando Magno Quintão Pereira
    • 1
  1. 1.Departamento de Ciência da ComputaçãoFederal University of Minas GeraisBelo HorizonteBrazil

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-11862-8
  • Online ISBN 978-3-319-11863-5
  • 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
Energy, Utilities & Environment