Search dblp for Publications

export results for "toc:db/conf/sblp/sblp2020.bht:"

 download as .bib file

@inproceedings{DBLP:conf/sblp/CassolaTPV20,
  author       = {Mauricio Cassola and
                  Agust{\'{\i}}n Talagorria and
                  Alberto Pardo and
                  Marcos Viera},
  editor       = {Everton Cavalcante and
                  Francisco Dantas and
                  Tha{\'{\i}}s Batista},
  title        = {A Gradual Type System for Elixir},
  booktitle    = {{SBLP} '20: 24th Brazilian Symposium on Programming Languages, Natal,
                  Rio Grande do Norte, Brazil, October 19-23, 2020},
  pages        = {17--24},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3427081.3427084},
  doi          = {10.1145/3427081.3427084},
  timestamp    = {Tue, 26 Oct 2021 09:35:17 +0200},
  biburl       = {https://dblp.org/rec/conf/sblp/CassolaTPV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sblp/FeitosaR20,
  author       = {Samuel da Silva Feitosa and
                  Rodrigo Geraldo Ribeiro},
  editor       = {Everton Cavalcante and
                  Francisco Dantas and
                  Tha{\'{\i}}s Batista},
  title        = {An Intrinsically-Typed Solution for the List-Machine Benchmark},
  booktitle    = {{SBLP} '20: 24th Brazilian Symposium on Programming Languages, Natal,
                  Rio Grande do Norte, Brazil, October 19-23, 2020},
  pages        = {1--8},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3427081.3427082},
  doi          = {10.1145/3427081.3427082},
  timestamp    = {Tue, 26 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sblp/FeitosaR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sblp/HoffmannGDF20,
  author       = {Renato B. Hoffmann and
                  Dalvan Griebler and
                  Marco Danelutto and
                  Luiz Gustavo Fernandes},
  editor       = {Everton Cavalcante and
                  Francisco Dantas and
                  Tha{\'{\i}}s Batista},
  title        = {Stream Parallelism Annotations for Multi-Core Frameworks},
  booktitle    = {{SBLP} '20: 24th Brazilian Symposium on Programming Languages, Natal,
                  Rio Grande do Norte, Brazil, October 19-23, 2020},
  pages        = {48--55},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3427081.3427088},
  doi          = {10.1145/3427081.3427088},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sblp/HoffmannGDF20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sblp/MedeirosMC20,
  author       = {Ciro M. Medeiros and
                  Martin A. Musicante and
                  Umberto Souza da Costa},
  editor       = {Everton Cavalcante and
                  Francisco Dantas and
                  Tha{\'{\i}}s Batista},
  title        = {An Algorithm for Context-Free Path Queries over Graph Databases},
  booktitle    = {{SBLP} '20: 24th Brazilian Symposium on Programming Languages, Natal,
                  Rio Grande do Norte, Brazil, October 19-23, 2020},
  pages        = {40--47},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3427081.3427087},
  doi          = {10.1145/3427081.3427087},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sblp/MedeirosMC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sblp/OlmosFSGGP20,
  author       = {Santiago Arranz Olmos and
                  Mart{\'{\i}}n Fern{\'{a}}ndez and
                  Mat{\'{\i}}as Steinberg and
                  Alejandro Gadea and
                  Emmanuel Gunther and
                  Miguel Pagano},
  editor       = {Everton Cavalcante and
                  Francisco Dantas and
                  Tha{\'{\i}}s Batista},
  title        = {A formalisation of LEGv8 in Agda},
  booktitle    = {{SBLP} '20: 24th Brazilian Symposium on Programming Languages, Natal,
                  Rio Grande do Norte, Brazil, October 19-23, 2020},
  pages        = {33--39},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3427081.3427086},
  doi          = {10.1145/3427081.3427086},
  timestamp    = {Tue, 26 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sblp/OlmosFSGGP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sblp/SasdelliACFR20,
  author       = {Felipe Sasdelli and
                  Maycon Amaro and
                  Elton M. Cardoso and
                  Samuel da Silva Feitosa and
                  Rodrigo Geraldo Ribeiro},
  editor       = {Everton Cavalcante and
                  Francisco Dantas and
                  Tha{\'{\i}}s Batista},
  title        = {Syntax vs Semantics: Comparing Consistency Proofs for Minimal Propositional
                  Logics},
  booktitle    = {{SBLP} '20: 24th Brazilian Symposium on Programming Languages, Natal,
                  Rio Grande do Norte, Brazil, October 19-23, 2020},
  pages        = {9--16},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3427081.3427083},
  doi          = {10.1145/3427081.3427083},
  timestamp    = {Tue, 26 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sblp/SasdelliACFR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sblp/SilvaVR20,
  author       = {Rafael Castro G. Silva and
                  Cristiano D. Vasconcellos and
                  Karina Girardi Roggia},
  editor       = {Everton Cavalcante and
                  Francisco Dantas and
                  Tha{\'{\i}}s Batista},
  title        = {Monadic {W} in Coq},
  booktitle    = {{SBLP} '20: 24th Brazilian Symposium on Programming Languages, Natal,
                  Rio Grande do Norte, Brazil, October 19-23, 2020},
  pages        = {25--32},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3427081.3427085},
  doi          = {10.1145/3427081.3427085},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sblp/SilvaVR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sblp/SofiatoSR20,
  author       = {Bruno Sofiato and
                  F{\'{a}}bio Levy Siqueira and
                  Ricardo Luis de Azevedo da Rocha},
  editor       = {Everton Cavalcante and
                  Francisco Dantas and
                  Tha{\'{\i}}s Batista},
  title        = {Towards an order-aware object comparison},
  booktitle    = {{SBLP} '20: 24th Brazilian Symposium on Programming Languages, Natal,
                  Rio Grande do Norte, Brazil, October 19-23, 2020},
  pages        = {64--71},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3427081.3427090},
  doi          = {10.1145/3427081.3427090},
  timestamp    = {Tue, 26 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sblp/SofiatoSR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sblp/ZanellaSP20,
  author       = {Andr{\'{e}} Felipe Zanella and
                  Anderson Faustino da Silva and
                  Fernando Magno Quint{\~{a}}o Pereira},
  editor       = {Everton Cavalcante and
                  Francisco Dantas and
                  Tha{\'{\i}}s Batista},
  title        = {{YACOS:} a Complete Infrastructure to the Design and Exploration of
                  Code Optimization Sequences},
  booktitle    = {{SBLP} '20: 24th Brazilian Symposium on Programming Languages, Natal,
                  Rio Grande do Norte, Brazil, October 19-23, 2020},
  pages        = {56--63},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3427081.3427089},
  doi          = {10.1145/3427081.3427089},
  timestamp    = {Tue, 26 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sblp/ZanellaSP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sblp/2020,
  editor       = {Everton Cavalcante and
                  Francisco Dantas and
                  Tha{\'{\i}}s Batista},
  title        = {{SBLP} '20: 24th Brazilian Symposium on Programming Languages, Natal,
                  Rio Grande do Norte, Brazil, October 19-23, 2020},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3427081},
  doi          = {10.1145/3427081},
  isbn         = {978-1-4503-8943-3},
  timestamp    = {Tue, 26 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sblp/2020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.