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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

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

Cited By ~ 1

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 ◽

Cited By ~ 1

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

Type Inference

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 ◽

Cited By ~ 1

Author(s):

Samuel da Silva Feitosa ◽

Rodrigo Geraldo Ribeiro ◽

Andre Rauber Du Bois

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

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

Evaluation of the impact on energy consumption of lazy versus strict evaluation of Haskell data-structures

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

10.1145/3264637.3264648 ◽

2018 ◽

Author(s):

Gilberto Melfe ◽

Alcides Fonseca ◽

João Paulo Fernandes

Keyword(s):

Energy Consumption ◽

Data Structures ◽

The Impact

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Towards certified virtual machine-based regular expression parsing

Pallene

Towards automatic error recovery in parsing expression grammars

Towards progressive program verification in Dafny

AsyncRFJ

Type inference for GADTs, outsidein and anti-unification

Property-based testing for lambda expressions semantics in featherweight Java

Revisiting monitors

Refactorings for replacing dynamic instructions with static ones

Evaluation of the impact on energy consumption of lazy versus strict evaluation of Haskell data-structures

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