skip to main content
10.1145/3427081acmotherconferencesBook PagePublication PagessblpConference Proceedingsconference-collections
SBLP '20: Proceedings of the 24th Brazilian Symposium on Context-Oriented Programming and Advanced Modularity
ACM2020 Proceeding
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
SBLP '20: 24th Brazilian Symposium on Programming Languages Natal Brazil October 19 - 20, 2020
ISBN:
978-1-4503-8943-3
Published:
22 October 2020
In-Cooperation:
SBC
Recommend ACM DL
ALREADY A SUBSCRIBER?SIGN IN

Reflects downloads up to 27 Jan 2025Bibliometrics
Skip Abstract Section
Abstract

SBLP is promoted by the Brazilian Computer Society (SBC) since 1996 and provides a forum for researchers, students, and professionals to present and discuss ideas and innovations in the design, definition, analysis, implementation and practical use of programming languages. Since 2010, SBLP has been organized in the context of the Brazilian Conference on Software: Theory and Practice (CBSoft 2020), together with other events on Computer Science and Software Engineering.

Skip Table Of Content Section
SESSION: Types
research-article
An Intrinsically-Typed Solution for the List-Machine Benchmark

Formal models are important tools in the programming language research community. However, such models are full of intricacies and, due to that, they are subject to subtle errors. Such failures motivated the usage of tools to ensure the correctness of ...

research-article
Syntax vs Semantics: Comparing Consistency Proofs for Minimal Propositional Logics

Consistency is a key property of any logical system. However, proofs of consistency usually rely on heavy proof theory notions like admissibility of cut. A more semantics-based approach to consistency proofs explores the correspondence between a logic ...

research-article
A Gradual Type System for Elixir

Elixir is a functional programming language with dynamic typing. In this paper we propose a type system that makes it possible to perform static type-checking on a significant fragment of Elixir. An important feature of the type system we introduce is ...

SESSION: Program Verification and Parsing
research-article
Monadic W in Coq

Though mechanized proofs for the type inference algorithm W have already been presented in the literature, none of them can be said to be similar to a usual functional implementation as they are not monadic and they carry extra parameters. Also, the ...

research-article
A formalisation of LEGv8 in Agda

The LEGv8 architecture is a restricted representation of the ARMv8 architecture. In this paper, we present a formalisation of the LEGv8 architecture in Agda. We have modelled machine words, the processor state, and the semantics of the instruction set; ...

research-article
An Algorithm for Context-Free Path Queries over Graph Databases

Path queries are used to specify paths inside a data graph to match a given pattern. Query languages such as SPARQL usually include support for regular path patterns defined by means of regular expressions. Context-free path queries define a path whose ...

SESSION: Compilers
research-article
Stream Parallelism Annotations for Multi-Core Frameworks

Data generation, collection, and processing is an important workload of modern computer architectures. Stream or high-intensity data flow applications are commonly employed in extracting and interpreting the information contained in this data. Due to ...

research-article
YACOS: a Complete Infrastructure to the Design and Exploration of Code Optimization Sequences

The growing popularity of machine learning frameworks and algorithms has greatly contributed to the design and exploration of good code optimization sequences. Yet, in spite of this progress, mainstream compilers still provide users with only a handful ...

research-article
Towards an order-aware object comparison

As several studies show, code that compares objects is a known source of bugs in object-oriented languages. One of the causes is that multiple methods handle comparison. Another cause is more insidious and has its roots in how these languages control ...

Contributors
  • Federal University of Rio Grande do Norte
  • Rio Grande do Norte State University
  • Federal University of Rio Grande do Norte

Recommendations

Acceptance Rates

Overall Acceptance Rate 22 of 50 submissions, 44%
YearSubmittedAcceptedRate
SBLP '19211048%
SBLP '18291241%
Overall502244%