Message safety in Dart

Erik Ernst, Anders Møller, Mathias Schwarz, Fabio Strocco. Message safety in Dart. Science of Computer Programming, 133:51-73, 2017. [doi]

@article{ErnstMSS17,
  title = {Message safety in Dart},
  author = {Erik Ernst and Anders Møller and Mathias Schwarz and Fabio Strocco},
  year = {2017},
  doi = {10.1016/j.scico.2016.06.006},
  url = {http://dx.doi.org/10.1016/j.scico.2016.06.006},
  researchr = {https://researchr.org/publication/ErnstMSS17},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {133},
  pages = {51-73},
}