Skip to main content
  • Conference proceedings
  • © 2012

Programming Languages

16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012, Proceedings

  • Fast track conference proceedings
  • Unique visibility
  • State of the art research

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

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

Conference series link(s): SBLP: Brazilian Symposium on Programming Languages

Conference proceedings info: SBLP 2012.

Buy it now

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 72.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

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

Table of contents (12 papers)

  1. Front Matter

    Pages I-VII
  2. Software Components as Invariant-Typed Arrows

    • Luis Soares Barbosa
    Pages 1-5
  3. The Science of Killing Bugs in a Black Box

    • Bernhard Klaus Aichernig
    Pages 6-11
  4. Spill Code Placement for SIMD Machines

    • Diogo Nunes Sampaio, Elie Gedeon, Fernando Magno Quintão Pereira, Caroline Collange
    Pages 12-26
  5. Left Recursion in Parsing Expression Grammars

    • Sérgio Medeiros, Fabio Mascarenhas, Roberto Ierusalimschy
    Pages 27-41
  6. Speed and Precision in Range Analysis

    • Victor Hugo Sperle Campos, Raphael Ernani Rodrigues, Igor Rafael de Assis Costa, Fernando Magno Quintão Pereira
    Pages 42-56
  7. Parameter Based Constant Propagation

    • Péricles Rafael Oliveira Alves, Igor Rafael de Assis Costa, Fernando Magno Quintão Pereira, Eduardo Lage Figueiredo
    Pages 57-71
  8. Adaptable Parsing Expression Grammars

    • Leonardo Vieira dos Santos Reis, Roberto da Silva Bigonha, Vladimir Oliveira Di Iorio, Luis Eduardo de Souza Amorim
    Pages 72-86
  9. Optimizing a Geomodeling Domain Specific Language

    • Bruno Morais Ferreira, Fernando Magno Quintão Pereira, Hermann Rodrigues, Britaldo Silveira Soares-Filho
    Pages 87-101
  10. A System for Runtime Type Introspection in C++

    • Maximilien de Bayser, Renato Cerqueira
    Pages 102-116
  11. Model-Based Programming Environments for Spreadsheets

    • Jácome Cunha, João Saraiva, Joost Visser
    Pages 117-133
  12. A Quantitative Assessment of Aspectual Feature Modules for Evolving Software Product Lines

    • Felipe Nunes Gaia, Gabriel Coutinho Sousa Ferreira, Eduardo Figueiredo, Marcelo de Almeida Maia
    Pages 134-149
  13. Attribute Grammar Macros

    • Marcos Viera, Doaitse Swierstra
    Pages 150-164
  14. Back Matter

    Pages 165-165

About this book

This book constitutes the proceedings of the 16th Brazililan Symposium on Programming Languages, SBLP 2012, held in Natal, Brazil, in September 2012.
The 10 full and 2 short papers were carefully reviewed and selected from 27 submissions. The papers cover various aspects of programming languages and software engineering.

Editors and Affiliations

  • Universidade Federal do Ceará, Departamento de Computação, Fortaleza, Brazil

    Francisco Heron Carvalho Junior

  • Departamento de Informática, Universidade do Minho, Braga, Portugal

    Luis Soares Barbosa

Bibliographic Information

  • Book Title: Programming Languages

  • Book Subtitle: 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012, Proceedings

  • Editors: Francisco Heron Carvalho Junior, Luis Soares Barbosa

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-642-33182-4

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2012

  • Softcover ISBN: 978-3-642-33181-7Published: 14 August 2012

  • eBook ISBN: 978-3-642-33182-4Published: 19 November 2013

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 170

  • Number of Illustrations: 78 b/w illustrations

  • Topics: Programming Languages, Compilers, Interpreters, Software Engineering, Programming Techniques

Buy it now

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 72.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