More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

SBLP 2018: Sao Carlos, Brazil

> Home > Conferences and Workshops > SBLP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/sblp/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sblp/2018
Carlos Camarão, Martin Sulzmann:
Proceedings of the XXII Brazilian Symposium on Programming Languages, SBLP 2018, Sao Carlos, Brazil, September 20-21, 2018. ACM 2018, ISBN 978-1-4503-6480-5
- view
  authority control:
- export record
  dblp key:
  - conf/sblp/MedeirosM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sblp/MedeirosM18
Sérgio Queiroz de Medeiros, Fabio Mascarenhas:
Towards automatic error recovery in parsing expression grammars. 3-10
- view
  authority control:
- export record
  dblp key:
  - conf/sblp/RamosMLP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sblp/RamosMLP18
Pedro Ramos, Gleison Souza Diniz Mendonca, Guilherme V. Leobas, Fernando Magno Quintão Pereira:
Taskminer: automatic identification of tasks. 11-18
- view
  authority control:
- export record
  dblp key:
  - conf/sblp/GualandiI18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sblp/GualandiI18
Hugo Musso Gualandi, Roberto Ierusalimschy:
Pallene: a statically typed companion language for lua. 19-26
- view
  authority control:
- export record
  dblp key:
  - conf/sblp/LeobasGP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sblp/LeobasGP18
Guilherme V. Leobas, Breno Campos Ferreira Guimarães, Fernando Magno Quintão Pereira:
More than meets the eye: invisible instructions. 27-34
- view
  authority control:
- export record
  dblp key:
  - conf/sblp/CardosoVP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sblp/CardosoVP18
Diogo J. Cardoso, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta:
AsyncRFJ: an asynchronous approach to reactive object-oriented programming. 35-42
- view
  authority control:
- export record
  dblp key:
  - conf/sblp/FeitosaRB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sblp/FeitosaRB18
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois:
Property-based testing for lambda expressions semantics in featherweight Java. 43-50
- view
  authority control:
- export record
  dblp key:
  - conf/sblp/MoreiraVR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sblp/MoreiraVR18
Gabriela Moreira, Cristiano D. Vasconcellos, Rodrigo Geraldo Ribeiro:
Type inference for GADTs, outsidein and anti-unification. 51-58
- view
  authority control:
- export record
  dblp key:
  - conf/sblp/JrDBMT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sblp/JrDBMT18
Elder Rodrigues Jr., Rafael Serapilha Durelli, Raphael Winckler de Bettio, Leonardo Montecchi, Ricardo Terra:
Refactorings for replacing dynamic instructions with static ones: the case of ruby. 59-66
- view
  authority control:
- export record
  dblp key:
  - conf/sblp/DelfinoR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sblp/DelfinoR18
Thales Antônio Delfino, Rodrigo Geraldo Ribeiro:
Towards certified virtual machine-based regular expression parsing. 67-74
- view
  authority control:
- export record
  dblp key:
  - conf/sblp/SantosRI18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sblp/SantosRI18
Renan Santos, Noemi de La Rocque Rodriguez, Roberto Ierusalimschy:
Revisiting monitors. 75-82
- view
  authority control:
- export record
  dblp key:
  - conf/sblp/MelfeFF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sblp/MelfeFF18
Gilberto Melfe, Alcides Fonseca, João Paulo Fernandes:
Evaluation of the impact on energy consumption of lazy versus strict evaluation of Haskell data-structures. 83-89
- view
  authority control:
- export record
  dblp key:
  - conf/sblp/FigueroaGL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sblp/FigueroaGL18
Ismael Figueroa, Bruno García, Paul Leger:
Towards progressive program verification in Dafny. 90-97

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.