@article{GianniniRSZ19a,
  volume = {172},
  author = {Paola Giannini and Tim Richter and Marco Servetto and Elena Zucca},
  issn = {0167-6423},
  keywords = {Imperative calculi, Sharing, Type and effect systems},
  url = {http://www.sciencedirect.com/science/article/pii/S0167642318304337},
  title = {Tracing sharing in an imperative pure calculus},
  pages = {180 - 202},
  journal = {Science of Computer Programming},
  doi = {https://doi.org/10.1016/j.scico.2018.11.007},
  year = {2019},
}

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)