@article{DBLP:journals/toplas/AnconaADDGZ07,
  author       = {Davide Ancona and
                  Christopher Anderson and
                  Ferruccio Damiani and
                  Sophia Drossopoulou and
                  Paola Giannini and
                  Elena Zucca},
  title        = {A provenly correct translation of Fickle into Java},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {29},
  number       = {2},
  pages        = {13},
  year         = {2007},
  url          = {https://doi.org/10.1145/1216374.1216381},
  doi          = {10.1145/1216374.1216381},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/AnconaADDGZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"dGTS2jGvDhbpShEnW","bibbaseid":"ancona-anderson-damiani-drossopoulou-giannini-zucca-aprovenlycorrecttranslationoffickleintojava-2007","author_short":["Ancona, D.","Anderson, C.","Damiani, F.","Drossopoulou, S.","Giannini, P.","Zucca, E."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Davide"],"propositions":[],"lastnames":["Ancona"],"suffixes":[]},{"firstnames":["Christopher"],"propositions":[],"lastnames":["Anderson"],"suffixes":[]},{"firstnames":["Ferruccio"],"propositions":[],"lastnames":["Damiani"],"suffixes":[]},{"firstnames":["Sophia"],"propositions":[],"lastnames":["Drossopoulou"],"suffixes":[]},{"firstnames":["Paola"],"propositions":[],"lastnames":["Giannini"],"suffixes":[]},{"firstnames":["Elena"],"propositions":[],"lastnames":["Zucca"],"suffixes":[]}],"title":"A provenly correct translation of Fickle into Java","journal":"ACM Trans. Program. Lang. Syst.","volume":"29","number":"2","pages":"13","year":"2007","url":"https://doi.org/10.1145/1216374.1216381","doi":"10.1145/1216374.1216381","timestamp":"Tue, 29 Dec 2020 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/toplas/AnconaADDGZ07.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/toplas/AnconaADDGZ07,\n author = {Davide Ancona and\n Christopher Anderson and\n Ferruccio Damiani and\n Sophia Drossopoulou and\n Paola Giannini and\n Elena Zucca},\n title = {A provenly correct translation of Fickle into Java},\n journal = {{ACM} Trans. Program. Lang. Syst.},\n volume = {29},\n number = {2},\n pages = {13},\n year = {2007},\n url = {https://doi.org/10.1145/1216374.1216381},\n doi = {10.1145/1216374.1216381},\n timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/toplas/AnconaADDGZ07.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ancona, D.","Anderson, C.","Damiani, F.","Drossopoulou, S.","Giannini, P.","Zucca, E."],"key":"DBLP:journals/toplas/AnconaADDGZ07","id":"DBLP:journals/toplas/AnconaADDGZ07","bibbaseid":"ancona-anderson-damiani-drossopoulou-giannini-zucca-aprovenlycorrecttranslationoffickleintojava-2007","role":"author","urls":{"Paper":"https://doi.org/10.1145/1216374.1216381"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/z/EZucca.bib","dataSources":["hbmDF3mowSFP7RzLi","NhBqgkX23MS7AZK7a"],"keywords":[],"search_terms":["provenly","correct","translation","fickle","java","ancona","anderson","damiani","drossopoulou","giannini","zucca"],"title":"A provenly correct translation of Fickle into Java","year":2007}