Skip to main content
SpringerLink
Log in

Programming Languages

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

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Fernando Castor

    1. Universidade Federal de Pernambuco, Recife, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Yu David Liu

    1. State University of New York, Binghamton, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: SBLP 2016.

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

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Language Support for Generic Programming in Object-Oriented Languages: Peculiarities, Drawbacks, Ways of Improvement

    • Julia Belyakova
    Pages 1-15

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

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

  5. Memoized Zipper-Based Attribute Grammars

    • João Paulo Fernandes, Pedro Martins, Alberto Pardo, João Saraiva, Marcos Viera
    Pages 46-61

  6. Purely Functional Incremental Computing

    • Denis Firsov, Wolfgang Jeltsch
    Pages 62-77

  7. Automatic Annotating and Checking of Dynamic Ownership

    • Tingting Hu, Haiyang Liu, Ke Zhang, Zongyan Qiu
    Pages 78-94

  8. Certified Derivative-Based Parsing of Regular Expressions

    • Raul Lopes, Rodrigo Ribeiro, Carlos Camarão
    Pages 95-109

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

  10. Optional Type Classes for Haskell

    • Rodrigo Ribeiro, Carlos Camarão, Lucília Figueiredo, Cristiano Vasconcellos
    Pages 125-139

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

  12. A Platform of Scientific Workflows for Orchestration of Parallel Components in a Cloud of High Performance Computing Applications

    • Jefferson de Carvalho Silva, Francisco Heron de Carvalho Junior
    Pages 156-170

  13. Comparison Between Model Fields and Abstract Predicates

    • Ke Zhang, Zongyan Qiu
    Pages 171-186

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

  15. Back Matter

    Pages 187-187
    Download chapter PDF
Back to top

Other volumes

  1. Programming Languages

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation