Programming Languages

17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings

  • André Rauber Du Bois
  • Phil Trinder
Conference proceedings SBLP 2013

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

Table of contents

  1. Front Matter
  2. André Murbach Maidl, Fabio Mascarenhas, Roberto Ierusalimschy
    Pages 1-15
  3. Hisham Muhammad, Fabio Mascarenhas, Roberto Ierusalimschy
    Pages 16-30
  4. Francisco Heron de Carvalho Junior, Cenez Araújo Rezende, Jefferson de Carvalho Silva, Francisco José Lins Magalhães, Renato Caminha Juaçaba-Neto
    Pages 31-45
  5. Ken Madlener, Sjaak Smetsers, Marko van Eekelen
    Pages 46-60
  6. Juliana Kaizer Vizzotto, Bruno Crestani Calegaro, Eduardo Kessler Piveta
    Pages 61-74
  7. Alexandre Madeira, Manuel A. Martins, Luís S. Barbosa
    Pages 75-89
  8. Francisco Heron de Carvalho Junior, Cenez Araújo Rezende, Jefferson de Carvalho Silva, Wagner Guimarães Al-Alam
    Pages 90-104
  9. Dalvan Griebler, Luiz Gustavo Fernandes
    Pages 105-119
  10. Alberto Pardo, João Paulo Fernandes, João Saraiva
    Pages 120-134
  11. Pedro Martins, João Paulo Fernandes, João Saraiva
    Pages 135-149
  12. Back Matter

About these proceedings


This book constitutes the proceedings of the 17th Brazililan Symposium on Programming Languages, SBLP 2013, held in Brasília, Brazil, in September/October 2013.
The 10 full and 2 keynote talks were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections on program generation and transformation, including domain-specific languages and model-driven development in the context of programming languages, programming paradigms and styles, including functional, object-oriented, aspect-oriented, scripting languages, real-time, service-oriented, multithreaded, parallel, and distributed programming, formal semantics and theoretical foundations, including denotational, operational, algebraic and categorical, program analysis and verification, including type systems, static analysis and abstract interpretation, and programming language design and implementation, including new programming models, programming language environments, compilation and interpretation techniques.


error reporting functional programming modular language specifications parsing scripting languages

Editors and affiliations

  • André Rauber Du Bois
    • 1
  • Phil Trinder
    • 2
  1. 1.Programa de Pós-Graduação em ComputaçãoUniversidade Federal de PelotasPelotasBrazil
  2. 2.School of Computing ScienceGlasgow UniversityGlasgowUK

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-40921-9
  • Online ISBN 978-3-642-40922-6
  • 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