Skip to main content
  • Conference proceedings
  • © 2016

Programming Languages

20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings

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

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 2016.

Buy it now

Buying options

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

  1. Front Matter

    Pages I-X
  2. JetsonLeap: A Framework to Measure Energy-Aware Code Optimizations in Embedded and Heterogeneous Systems

    • Tarsila Bessa, Pedro Quintão, Michael Frank, Fernando Magno Quintão Pereira
    Pages 16-30
  3. A Monadic Semantics for Quantum Computing in Featherweight Java

    • Samuel da Silva Feitosa, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta, Andre Rauber Du Bois
    Pages 31-45
  4. Memoized Zipper-Based Attribute Grammars

    • João Paulo Fernandes, Pedro Martins, Alberto Pardo, João Saraiva, Marcos Viera
    Pages 46-61
  5. Purely Functional Incremental Computing

    • Denis Firsov, Wolfgang Jeltsch
    Pages 62-77
  6. Automatic Annotating and Checking of Dynamic Ownership

    • Tingting Hu, Haiyang Liu, Ke Zhang, Zongyan Qiu
    Pages 78-94
  7. Certified Derivative-Based Parsing of Regular Expressions

    • Raul Lopes, Rodrigo Ribeiro, Carlos Camarão
    Pages 95-109
  8. Concurrent Hash Tables for Haskell

    • Rodrigo Medeiros Duarte, André Rauber Du Bois, Mauricio L. Pilla, Gerson G. H. Cavalheiro, Renata H. S. Reiser
    Pages 110-124
  9. Optional Type Classes for Haskell

    • Rodrigo Ribeiro, Carlos Camarão, Lucília Figueiredo, Cristiano Vasconcellos
    Pages 125-139
  10. An Algebraic Framework for Parallelizing Recurrence in Functional Programming

    • Rodrigo C. O. Rocha, Luís F. W. Góes, Fernando M. Q. Pereira
    Pages 140-155
  11. Comparison Between Model Fields and Abstract Predicates

    • Ke Zhang, Zongyan Qiu
    Pages 171-186
  12. Erratum to: A Monadic Semantics for Quantum Computing in Featherweight Java

    • Samuel da Silva Feitosa, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta, Andre Rauber Du Bois
    Pages E1-E1
  13. Back Matter

    Pages 187-187

Other Volumes

  1. Programming Languages

About this book

This book constitutes the proceedings of the 20th Brazilian Symposium on Progamming Languages, SBLP 2016, held in Maringá, Brazil, in September 2016.

The 12 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.

Editors and Affiliations

  • Universidade Federal de Pernambuco, Recife, Brazil

    Fernando Castor

  • State University of New York, Binghamton, USA

    Yu David Liu

Bibliographic Information

Buy it now

Buying options

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