@inproceedings{DBLP:conf/ecoop/GianniniSZ17,
  author       = {Paola Giannini and
                  Marco Servetto and
                  Elena Zucca},
  title        = {Tracing sharing in an imperative pure calculus: extended abstract},
  booktitle    = {Proceedings of the 19th Workshop on Formal Techniques for Java-like
                  Programs, Barcelona, Spain, June 20, 2017},
  pages        = {6:1--6:6},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3103111.3104038},
  doi          = {10.1145/3103111.3104038},
  timestamp    = {Mon, 18 Jan 2021 18:25:06 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/GianniniSZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"buF4gqmgbD2CiAStp","bibbaseid":"giannini-servetto-zucca-tracingsharinginanimperativepurecalculusextendedabstract-2017","author_short":["Giannini, P.","Servetto, M.","Zucca, E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Paola"],"propositions":[],"lastnames":["Giannini"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Servetto"],"suffixes":[]},{"firstnames":["Elena"],"propositions":[],"lastnames":["Zucca"],"suffixes":[]}],"title":"Tracing sharing in an imperative pure calculus: extended abstract","booktitle":"Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, Barcelona, Spain, June 20, 2017","pages":"6:1–6:6","publisher":"ACM","year":"2017","url":"https://doi.org/10.1145/3103111.3104038","doi":"10.1145/3103111.3104038","timestamp":"Mon, 18 Jan 2021 18:25:06 +0100","biburl":"https://dblp.org/rec/conf/ecoop/GianniniSZ17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ecoop/GianniniSZ17,\n author = {Paola Giannini and\n Marco Servetto and\n Elena Zucca},\n title = {Tracing sharing in an imperative pure calculus: extended abstract},\n booktitle = {Proceedings of the 19th Workshop on Formal Techniques for Java-like\n Programs, Barcelona, Spain, June 20, 2017},\n pages = {6:1--6:6},\n publisher = {{ACM}},\n year = {2017},\n url = {https://doi.org/10.1145/3103111.3104038},\n doi = {10.1145/3103111.3104038},\n timestamp = {Mon, 18 Jan 2021 18:25:06 +0100},\n biburl = {https://dblp.org/rec/conf/ecoop/GianniniSZ17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Giannini, P.","Servetto, M.","Zucca, E."],"key":"DBLP:conf/ecoop/GianniniSZ17","id":"DBLP:conf/ecoop/GianniniSZ17","bibbaseid":"giannini-servetto-zucca-tracingsharinginanimperativepurecalculusextendedabstract-2017","role":"author","urls":{"Paper":"https://doi.org/10.1145/3103111.3104038"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/z/EZucca.bib","dataSources":["NhBqgkX23MS7AZK7a"],"keywords":[],"search_terms":["tracing","sharing","imperative","pure","calculus","extended","abstract","giannini","servetto","zucca"],"title":"Tracing sharing in an imperative pure calculus: extended abstract","year":2017}