Skip to main content
SpringerLink
Log in

Programming Languages

19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Alberto Pardo

    1. Universidad de La Republica, Montevideo, Uruguay

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. S. Doaitse Swierstra

    1. Utrecht University, Utrecht, The Netherlands

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

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

Included in the following conference series:

Conference proceedings info: SBLP 2015.

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

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  2. Automatic Inference of Loop Complexity Through Polynomial Interpolation

    • Francisco Demontiê, Junio Cezar, Mariza Bigonha, Frederico Campos, Fernando Magno Quintão Pereira
    Pages 1-15

  3. Type Inference for GADTs and Anti-unification

    • Adelaine Gelain, Cristiano Vasconcellos, Carlos Camarão, Rodrigo Ribeiro
    Pages 16-30

  4. Preserving Lexical Scoping When Dynamically Embedding Languages

    • Félix Ribeiro, Hisham Muhammad, André Murbach Maidl, Roberto Ierusalimschy
    Pages 31-43

  5. The Dinamica Virtual Machine for Geosciences

    • Bruno Morais Ferreira, Britaldo Silveira Soares-Filho, Fernando Magno Quintão Pereira
    Pages 44-58

  6. Go Model and Object Oriented Programming

    • Haiyang Liu, Zongyan Qiu
    Pages 59-74

  7. An Intrinsic Denotational Semantics for a Lazy Functional Language

    • Leonardo Rodríguez
    Pages 75-80

  8. Color Flipping

    • Felipe L. Silva, Marcelo F. Luna, Wesley Attrot
    Pages 81-95

  9. Deadlocks as Runtime Exceptions

    • Rafael Lobo, Fernando Castor
    Pages 96-111

  10. Model-Driven Engineering Based on Attribute Grammars

    • Daniel Calegari, Marcos Viera
    Pages 112-127

  11. Composable Memory Transactions for Java Using a Monadic Intermediate Language

    • Rafael Bandeira, André R. Du Bois, Maurício Pilla, Juliana Vizzotto, Marcelo Machado
    Pages 128-142

  12. Back Matter

    Pages 143-143
    Download chapter PDF
Back to top

Other volumes

  1. Programming Languages

Keywords

About this book

This book constitutes the proceedings of the 19th Brazilian Symposium on Progamming Languages, SBLP 2015, held in Belo Horizonte, Brazil, in September 2015. 

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

  • Universidad de La Republica, Montevideo, Uruguay

    Alberto Pardo

  • Utrecht University, Utrecht, The Netherlands

    S. Doaitse Swierstra

Bibliographic Information

  • Book Title: Programming Languages

  • Book Subtitle: 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings

  • Editors: Alberto Pardo, S. Doaitse Swierstra

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-319-24012-1

  • Publisher: Springer Cham

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

  • Copyright Information: Springer International Publishing Switzerland 2015

  • Softcover ISBN: 978-3-319-24011-4Published: 15 November 2015

  • eBook ISBN: 978-3-319-24012-1Published: 06 October 2015

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: IX, 143

  • Number of Illustrations: 58 illustrations in colour

  • Topics: Programming Languages, Compilers, Interpreters

Publish with us

Policies and ethics

Back to top

Search

Navigation