Skip to main content
SpringerLink
Log in
Book cover

Programming Languages

17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. André Rauber Bois

    1. Programa de Pós-Graduação em Computação, Universidade Federal de Pelotas, Pelotas, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Phil Trinder

    1. School of Computing Science, Glasgow University, Glasgow, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast-track conference proceedings of SBLP 2013

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SBLP 2013.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 73.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (10 papers)

  1. Front Matter

    Download chapter PDF

  2. Exception Handling for Error Reporting in Parsing Expression Grammars

    • André Murbach Maidl, Fabio Mascarenhas, Roberto Ierusalimschy
    Pages 1-15

  3. LuaRocks - A Declarative and Extensible Package Management System for Lua

    • Hisham Muhammad, Fabio Mascarenhas, Roberto Ierusalimschy
    Pages 16-30

  4. On the Performance of Multidimensional Array Representations in Programming Languages Based on Virtual Execution Machines

    • 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. Modular Bialgebraic Semantics and Algebraic Laws

    • Ken Madlener, Sjaak Smetsers, Marko van Eekelen
    Pages 46-60

  6. A Double Effect λ-calculus for Quantum Computation

    • Juliana Kaizer Vizzotto, Bruno Crestani Calegaro, Eduardo Kessler Piveta
    Pages 61-74

  7. Boilerplates for Reconfigurable Systems: A Language and Its Semantics

    • Alexandre Madeira, Manuel A. Martins, Luís S. Barbosa
    Pages 75-89

  8. Contextual Abstraction in a Type System for Component-Based High Performance Computing Platforms

    • Francisco Heron de Carvalho Junior, Cenez Araújo Rezende, Jefferson de Carvalho Silva, Wagner Guimarães Al-Alam
    Pages 90-104

  9. Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming

    • Dalvan Griebler, Luiz Gustavo Fernandes
    Pages 105-119

  10. Multiple Intermediate Structure Deforestation by Shortcut Fusion

    • Alberto Pardo, João Paulo Fernandes, João Saraiva
    Pages 120-134

  11. Zipper-Based Attribute Grammars and Their Extensions

    • Pedro Martins, João Paulo Fernandes, João Saraiva
    Pages 135-149

  12. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Programming Languages

Keywords

About this book

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

Editors and Affiliations

  • Programa de Pós-Graduação em Computação, Universidade Federal de Pelotas, Pelotas, Brazil

    André Rauber Bois

  • School of Computing Science, Glasgow University, Glasgow, UK

    Phil Trinder

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation