default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSBLP 2018: Sao Carlos, Brazil
- 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 - Sérgio Queiroz de Medeiros
, Fabio Mascarenhas:
Towards automatic error recovery in parsing expression grammars. 3-10 - Pedro Ramos, Gleison Souza Diniz Mendonca, Guilherme V. Leobas, Fernando Magno Quintão Pereira:
Taskminer: automatic identification of tasks. 11-18 - Hugo Musso Gualandi, Roberto Ierusalimschy:
Pallene: a statically typed companion language for lua. 19-26 - Guilherme V. Leobas, Breno Campos Ferreira Guimarães, Fernando Magno Quintão Pereira:
More than meets the eye: invisible instructions. 27-34 - Diogo J. Cardoso, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta:
AsyncRFJ: an asynchronous approach to reactive object-oriented programming. 35-42 - Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois:
Property-based testing for lambda expressions semantics in featherweight Java. 43-50 - Gabriela Moreira, Cristiano D. Vasconcellos, Rodrigo Geraldo Ribeiro:
Type inference for GADTs, outsidein and anti-unification. 51-58 - 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 - Thales Antônio Delfino, Rodrigo Geraldo Ribeiro:
Towards certified virtual machine-based regular expression parsing. 67-74 - Renan Santos, Noemi de La Rocque Rodriguez, Roberto Ierusalimschy:
Revisiting monitors. 75-82 - 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 - 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.
last updated on 2025-05-17 00:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
