Powered by
19th ACM SIGPLAN International Workshop on Erlang (Erlang 2020), August 23, 2020,
Virtual Event, USA
19th ACM SIGPLAN International Workshop on Erlang (Erlang 2020)
Frontmatter
Papers
Machine-Checked Natural Semantics for Core Erlang: Exceptions and Side Effects
Péter Bereczky,
Dániel Horpácsi, and
Simon J. Thompson
(Eötvös Loránd University, Hungary; University of Kent, UK)
@InProceedings{Erlang20p1,
author = {Péter Bereczky and Dániel Horpácsi and Simon J. Thompson},
title = {Machine-Checked Natural Semantics for Core Erlang: Exceptions and Side Effects},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3406085.3409008},
year = {2020},
}
Publisher's Version
Teaching Practical Realistic Verification of Distributed Algorithms in Erlang with TLA+
Peter Zeller,
Annette Bieniusa, and
Carla Ferreira
(TU Kaiserslautern, Germany; Nova University of Lisbon, Portugal)
@InProceedings{Erlang20p13,
author = {Peter Zeller and Annette Bieniusa and Carla Ferreira},
title = {Teaching Practical Realistic Verification of Distributed Algorithms in Erlang with TLA+},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3406085.3409009},
year = {2020},
}
Publisher's Version
Transformations towards Clean Functional Code
Boldizsár Poór,
Melinda Toth, and
István Bozó
(Eötvös Loránd University, Hungary)
@InProceedings{Erlang20p25,
author = {Boldizsár Poór and Melinda Toth and István Bozó},
title = {Transformations towards Clean Functional Code},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3406085.3409010},
year = {2020},
}
Publisher's Version
Clojerl: The Expressive Power of Clojure on the BEAM
Juan Facorro and
Natalia Chechina
(Bournemouth University, UK)
@InProceedings{Erlang20p49,
author = {Juan Facorro and Natalia Chechina},
title = {Clojerl: The Expressive Power of Clojure on the BEAM},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3406085.3409012},
year = {2020},
}
Publisher's Version
proc time: 0.77