Proceedings of the XXII Brazilian Symposium on Programming Languages - SBLP '18
Latest Publications

TOTAL DOCUMENTS

12

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By ACM Press

9781450364805

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards certified virtual machine-based regular expression parsing

Proceedings of the XXII Brazilian Symposium on Programming Languages - SBLP '18 ◽

10.1145/3264637.3264646 ◽

2018 ◽

Author(s):

Thales Antônio Delfino ◽

Rodrigo Ribeiro

Keyword(s):

Virtual Machine ◽

Regular Expression

Download Full-text

Pallene

Proceedings of the XXII Brazilian Symposium on Programming Languages - SBLP '18 ◽

10.1145/3264637.3264640 ◽

2018 ◽

Author(s):

Hugo Musso Gualandi ◽

Roberto Ierusalimschy

Download Full-text

Towards automatic error recovery in parsing expression grammars

Proceedings of the XXII Brazilian Symposium on Programming Languages - SBLP '18 ◽

10.1145/3264637.3264638 ◽

2018 ◽

Author(s):

Sérgio Queiroz de Medeiros ◽

Fabio Mascarenhas

Keyword(s):

Error Recovery ◽

Automatic Error

Download Full-text

Towards progressive program verification in Dafny

Proceedings of the XXII Brazilian Symposium on Programming Languages - SBLP '18 ◽

10.1145/3264637.3264649 ◽

2018 ◽

Author(s):

Ismael Figueroa ◽

Bruno García ◽

Paul Leger

Keyword(s):

Program Verification

Download Full-text

AsyncRFJ

Proceedings of the XXII Brazilian Symposium on Programming Languages - SBLP '18 ◽

10.1145/3264637.3264642 ◽

2018 ◽

Author(s):

Diogo J. Cardoso ◽

Juliana K. Vizzotto ◽

Eduardo K. Piveta

Download Full-text

Type inference for GADTs, outsidein and anti-unification

Proceedings of the XXII Brazilian Symposium on Programming Languages - SBLP '18 ◽

10.1145/3264637.3264644 ◽

2018 ◽

Author(s):

Gabriela Moreira ◽

Cristiano Vasconcellos ◽

Rodrigo Ribeiro

Keyword(s):

Download Full-text

Property-based testing for lambda expressions semantics in featherweight Java

Proceedings of the XXII Brazilian Symposium on Programming Languages - SBLP '18 ◽

10.1145/3264637.3264643 ◽

2018 ◽

Author(s):

Samuel da Silva Feitosa ◽

Rodrigo Geraldo Ribeiro ◽

Andre Rauber Du Bois

Download Full-text

Refactorings for replacing dynamic instructions with static ones

Proceedings of the XXII Brazilian Symposium on Programming Languages - SBLP '18 ◽

10.1145/3264637.3264645 ◽

2018 ◽

Author(s):

Elder Rodrigues ◽

Rafael Serapilha Durelli ◽

Raphael Winckler de Bettio ◽

Leonardo Montecchi ◽

Ricardo Terra

Download Full-text

Revisiting monitors

Proceedings of the XXII Brazilian Symposium on Programming Languages - SBLP '18 ◽

10.1145/3264637.3264647 ◽

2018 ◽

Author(s):

Renan Santos ◽

Noemi Rodriguez ◽

Roberto Ierusalimschy

Download Full-text

Taskminer

Proceedings of the XXII Brazilian Symposium on Programming Languages - SBLP '18 ◽

10.1145/3264637.3264639 ◽

2018 ◽

Author(s):

Pedro Ramos ◽

Gleison Souza ◽

Guilherme Leobas ◽

Fernando Magno Q. Pereira

Download Full-text