Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/sblp/CardosoVP18,
  author       = {Diogo J. Cardoso and
                  Juliana Kaizer Vizzotto and
                  Eduardo Kessler Piveta},
  editor       = {Carlos Camar{\~{a}}o and
                  Martin Sulzmann},
  title        = {AsyncRFJ: an asynchronous approach to reactive object-oriented programming},
  booktitle    = {Proceedings of the {XXII} Brazilian Symposium on Programming Languages,
                  {SBLP} 2018, Sao Carlos, Brazil, September 20-21, 2018},
  pages        = {35--42},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3264637.3264642},
  doi          = {10.1145/3264637.3264642},
  timestamp    = {Wed, 01 Jun 2022 08:38:39 +0200},
  biburl       = {https://dblp.org/rec/conf/sblp/CardosoVP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sblp/DelfinoR18,
  author       = {Thales Ant{\^{o}}nio Delfino and
                  Rodrigo Geraldo Ribeiro},
  editor       = {Carlos Camar{\~{a}}o and
                  Martin Sulzmann},
  title        = {Towards certified virtual machine-based regular expression parsing},
  booktitle    = {Proceedings of the {XXII} Brazilian Symposium on Programming Languages,
                  {SBLP} 2018, Sao Carlos, Brazil, September 20-21, 2018},
  pages        = {67--74},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3264637.3264646},
  doi          = {10.1145/3264637.3264646},
  timestamp    = {Fri, 10 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sblp/DelfinoR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sblp/FeitosaRB18,
  author       = {Samuel da Silva Feitosa and
                  Rodrigo Geraldo Ribeiro and
                  Andr{\'{e}} Rauber Du Bois},
  editor       = {Carlos Camar{\~{a}}o and
                  Martin Sulzmann},
  title        = {Property-based testing for lambda expressions semantics in featherweight
                  Java},
  booktitle    = {Proceedings of the {XXII} Brazilian Symposium on Programming Languages,
                  {SBLP} 2018, Sao Carlos, Brazil, September 20-21, 2018},
  pages        = {43--50},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3264637.3264643},
  doi          = {10.1145/3264637.3264643},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sblp/FeitosaRB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sblp/FigueroaGL18,
  author       = {Ismael Figueroa and
                  Bruno Garc{\'{\i}}a and
                  Paul Leger},
  editor       = {Carlos Camar{\~{a}}o and
                  Martin Sulzmann},
  title        = {Towards progressive program verification in Dafny},
  booktitle    = {Proceedings of the {XXII} Brazilian Symposium on Programming Languages,
                  {SBLP} 2018, Sao Carlos, Brazil, September 20-21, 2018},
  pages        = {90--97},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3264637.3264649},
  doi          = {10.1145/3264637.3264649},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sblp/FigueroaGL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sblp/GualandiI18,
  author       = {Hugo Musso Gualandi and
                  Roberto Ierusalimschy},
  editor       = {Carlos Camar{\~{a}}o and
                  Martin Sulzmann},
  title        = {Pallene: a statically typed companion language for lua},
  booktitle    = {Proceedings of the {XXII} Brazilian Symposium on Programming Languages,
                  {SBLP} 2018, Sao Carlos, Brazil, September 20-21, 2018},
  pages        = {19--26},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3264637.3264640},
  doi          = {10.1145/3264637.3264640},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sblp/GualandiI18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sblp/JrDBMT18,
  author       = {Elder Rodrigues Jr. and
                  Rafael Serapilha Durelli and
                  Raphael Winckler de Bettio and
                  Leonardo Montecchi and
                  Ricardo Terra},
  editor       = {Carlos Camar{\~{a}}o and
                  Martin Sulzmann},
  title        = {Refactorings for replacing dynamic instructions with static ones:
                  the case of ruby},
  booktitle    = {Proceedings of the {XXII} Brazilian Symposium on Programming Languages,
                  {SBLP} 2018, Sao Carlos, Brazil, September 20-21, 2018},
  pages        = {59--66},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3264637.3264645},
  doi          = {10.1145/3264637.3264645},
  timestamp    = {Thu, 06 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sblp/JrDBMT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sblp/LeobasGP18,
  author       = {Guilherme V. Leobas and
                  Breno Campos Ferreira Guimar{\~{a}}es and
                  Fernando Magno Quint{\~{a}}o Pereira},
  editor       = {Carlos Camar{\~{a}}o and
                  Martin Sulzmann},
  title        = {More than meets the eye: invisible instructions},
  booktitle    = {Proceedings of the {XXII} Brazilian Symposium on Programming Languages,
                  {SBLP} 2018, Sao Carlos, Brazil, September 20-21, 2018},
  pages        = {27--34},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3264637.3264641},
  doi          = {10.1145/3264637.3264641},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sblp/LeobasGP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sblp/MedeirosM18,
  author       = {S{\'{e}}rgio Queiroz de Medeiros and
                  Fabio Mascarenhas},
  editor       = {Carlos Camar{\~{a}}o and
                  Martin Sulzmann},
  title        = {Towards automatic error recovery in parsing expression grammars},
  booktitle    = {Proceedings of the {XXII} Brazilian Symposium on Programming Languages,
                  {SBLP} 2018, Sao Carlos, Brazil, September 20-21, 2018},
  pages        = {3--10},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3264637.3264638},
  doi          = {10.1145/3264637.3264638},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sblp/MedeirosM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sblp/MelfeFF18,
  author       = {Gilberto Melfe and
                  Alcides Fonseca and
                  Jo{\~{a}}o Paulo Fernandes},
  editor       = {Carlos Camar{\~{a}}o and
                  Martin Sulzmann},
  title        = {Evaluation of the impact on energy consumption of lazy versus strict
                  evaluation of Haskell data-structures},
  booktitle    = {Proceedings of the {XXII} Brazilian Symposium on Programming Languages,
                  {SBLP} 2018, Sao Carlos, Brazil, September 20-21, 2018},
  pages        = {83--89},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3264637.3264648},
  doi          = {10.1145/3264637.3264648},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sblp/MelfeFF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sblp/MoreiraVR18,
  author       = {Gabriela Moreira and
                  Cristiano D. Vasconcellos and
                  Rodrigo Geraldo Ribeiro},
  editor       = {Carlos Camar{\~{a}}o and
                  Martin Sulzmann},
  title        = {Type inference for GADTs, outsidein and anti-unification},
  booktitle    = {Proceedings of the {XXII} Brazilian Symposium on Programming Languages,
                  {SBLP} 2018, Sao Carlos, Brazil, September 20-21, 2018},
  pages        = {51--58},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3264637.3264644},
  doi          = {10.1145/3264637.3264644},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sblp/MoreiraVR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sblp/RamosMLP18,
  author       = {Pedro Ramos and
                  Gleison Souza Diniz Mendonca and
                  Guilherme V. Leobas and
                  Fernando Magno Quint{\~{a}}o Pereira},
  editor       = {Carlos Camar{\~{a}}o and
                  Martin Sulzmann},
  title        = {Taskminer: automatic identification of tasks},
  booktitle    = {Proceedings of the {XXII} Brazilian Symposium on Programming Languages,
                  {SBLP} 2018, Sao Carlos, Brazil, September 20-21, 2018},
  pages        = {11--18},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3264637.3264639},
  doi          = {10.1145/3264637.3264639},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sblp/RamosMLP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sblp/SantosRI18,
  author       = {Renan Santos and
                  Noemi de La Rocque Rodriguez and
                  Roberto Ierusalimschy},
  editor       = {Carlos Camar{\~{a}}o and
                  Martin Sulzmann},
  title        = {Revisiting monitors},
  booktitle    = {Proceedings of the {XXII} Brazilian Symposium on Programming Languages,
                  {SBLP} 2018, Sao Carlos, Brazil, September 20-21, 2018},
  pages        = {75--82},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3264637.3264647},
  doi          = {10.1145/3264637.3264647},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sblp/SantosRI18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sblp/2018,
  editor       = {Carlos Camar{\~{a}}o and
                  Martin Sulzmann},
  title        = {Proceedings of the {XXII} Brazilian Symposium on Programming Languages,
                  {SBLP} 2018, Sao Carlos, Brazil, September 20-21, 2018},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3264637},
  doi          = {10.1145/3264637},
  isbn         = {978-1-4503-6480-5},
  timestamp    = {Wed, 01 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sblp/2018.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.