@inproceedings{RC2022,
  author    = {Pietro Lami and Ivan Lanese and Jean{-}Bernard Stefani and Claudio {Sacerdoti Coen} and Giovanni Fabbretti},
  editor    = {Claudio Antares Mezzina and Krzysztof Podlaski},
  title     = {Reversibility in Erlang: Imperative Constructs},
  booktitle = {{RC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {13354},
  pages     = {187--203},
  publisher = {Springer},
  year      = {2022},
  url       = {https://doi.org/10.1007/978-3-031-09005-9\_13},
  doi       = {10.1007/978-3-031-09005-9\_13},
  url_pdf   = {fulltext/rc2022-imperative.pdf},
  url_Slides = {../work/rc2022imperative-Lami.pdf},
  keywords  = {Reversible computing, Debugging, Erlang, Programming languages}
}

{"_id":"AoqzBDP3QpGq2pWEF","bibbaseid":"lami-lanese-stefani-sacerdoticoen-fabbretti-reversibilityinerlangimperativeconstructs-2022","author_short":["Lami, P.","Lanese, I.","Stefani, J.","Sacerdoti Coen, C.","Fabbretti, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Pietro"],"propositions":[],"lastnames":["Lami"],"suffixes":[]},{"firstnames":["Ivan"],"propositions":[],"lastnames":["Lanese"],"suffixes":[]},{"firstnames":["Jean-Bernard"],"propositions":[],"lastnames":["Stefani"],"suffixes":[]},{"firstnames":["Claudio"],"propositions":[],"lastnames":["Sacerdoti Coen"],"suffixes":[]},{"firstnames":["Giovanni"],"propositions":[],"lastnames":["Fabbretti"],"suffixes":[]}],"editor":[{"firstnames":["Claudio","Antares"],"propositions":[],"lastnames":["Mezzina"],"suffixes":[]},{"firstnames":["Krzysztof"],"propositions":[],"lastnames":["Podlaski"],"suffixes":[]}],"title":"Reversibility in Erlang: Imperative Constructs","booktitle":"RC","series":"Lecture Notes in Computer Science","volume":"13354","pages":"187–203","publisher":"Springer","year":"2022","url":"https://doi.org/10.1007/978-3-031-09005-9\\_13","doi":"10.1007/978-3-031-09005-9_13","url_pdf":"fulltext/rc2022-imperative.pdf","url_slides":"../work/rc2022imperative-Lami.pdf","keywords":"Reversible computing, Debugging, Erlang, Programming languages","bibtex":"@inproceedings{RC2022,\n author = {Pietro Lami and Ivan Lanese and Jean{-}Bernard Stefani and Claudio {Sacerdoti Coen} and Giovanni Fabbretti},\n editor = {Claudio Antares Mezzina and Krzysztof Podlaski},\n title = {Reversibility in Erlang: Imperative Constructs},\n booktitle = {{RC}},\n series = {Lecture Notes in Computer Science},\n volume = {13354},\n pages = {187--203},\n publisher = {Springer},\n year = {2022},\n url = {https://doi.org/10.1007/978-3-031-09005-9\\_13},\n doi = {10.1007/978-3-031-09005-9\\_13},\n url_pdf = {fulltext/rc2022-imperative.pdf},\n url_Slides = {../work/rc2022imperative-Lami.pdf},\n keywords = {Reversible computing, Debugging, Erlang, Programming languages}\n}\n\n","author_short":["Lami, P.","Lanese, I.","Stefani, J.","Sacerdoti Coen, C.","Fabbretti, G."],"editor_short":["Mezzina, C. A.","Podlaski, K."],"key":"RC2022","id":"RC2022","bibbaseid":"lami-lanese-stefani-sacerdoticoen-fabbretti-reversibilityinerlangimperativeconstructs-2022","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-031-09005-9\\_13"," pdf":"https://www.cs.unibo.it/~lanese/newpublications/fulltext/rc2022-imperative.pdf"," slides":"https://www.cs.unibo.it/~lanese/work/rc2022imperative-Lami.pdf"},"keyword":["Reversible computing","Debugging","Erlang","Programming languages"],"metadata":{"authorlinks":{}},"downloads":2},"bibtype":"inproceedings","biburl":"https://www.cs.unibo.it/~lanese/newpublications/mybib.bib","dataSources":["xnhiQv9oHMigrP4yD"],"keywords":["reversible computing","debugging","erlang","programming languages"],"search_terms":["reversibility","erlang","imperative","constructs","lami","lanese","stefani","sacerdoti coen","fabbretti"],"title":"Reversibility in Erlang: Imperative Constructs","year":2022,"downloads":2}