Powered by
17th ACM SIGPLAN International Workshop on Erlang (Erlang 2018), September 29, 2018,
St. Louis, MO, USA
17th ACM SIGPLAN International Workshop on Erlang (Erlang 2018)
iDeA: An Immersive Debugger for Actors
Aman Shankar Mathur,
Burcu Kulahcioglu Ozkan, and
Rupak Majumdar
(MPI-SWS, Germany)
@InProceedings{Erlang18p1,
author = {Aman Shankar Mathur and Burcu Kulahcioglu Ozkan and Rupak Majumdar},
title = {iDeA: An Immersive Debugger for Actors},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3239332.3242762},
year = {2018},
}
Publisher's Version
Understanding Formal Specifications through Good Examples
Alex Gerdes,
John Hughes,
Nicholas Smallbone,
Stefan Hanenberg,
Sebastian Ivarsson, and
Meng Wang
(University of Gothenburg, Sweden; Chalmers University of Technology, Sweden; University of Duisburg-Essen, Germany; University of Kent, UK)
@InProceedings{Erlang18p13,
author = {Alex Gerdes and John Hughes and Nicholas Smallbone and Stefan Hanenberg and Sebastian Ivarsson and Meng Wang},
title = {Understanding Formal Specifications through Good Examples},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3239332.3242763},
year = {2018},
}
Publisher's Version
Modelling Distributed Erlang within a Single Node
Stavros Aronis,
Viktória Fördős, and
Dániel Szoboszlay
(Erlang Solutions, Sweden; Klarna Bank, Sweden)
@InProceedings{Erlang18p25,
author = {Stavros Aronis and Viktória Fördős and Dániel Szoboszlay},
title = {Modelling Distributed Erlang within a Single Node},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3239332.3242764},
year = {2018},
}
Publisher's Version
Typing the Wild in Erlang
Nachiappan Valliappan and
John Hughes
(Chalmers University of Technology, Sweden)
@InProceedings{Erlang18p49,
author = {Nachiappan Valliappan and John Hughes},
title = {Typing the Wild in Erlang},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3239332.3242766},
year = {2018},
}
Publisher's Version
Modeling Erlang Processes as Petri Nets
Jörgen Brandt and
Wolfgang Reisig
(Humboldt-Universität zu Berlin, Germany)
@InProceedings{Erlang18p61,
author = {Jörgen Brandt and Wolfgang Reisig},
title = {Modeling Erlang Processes as Petri Nets},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3239332.3242767},
year = {2018},
}
Publisher's Version
Towards Secure Erlang Systems
Alexandre Jorge Barbosa Rodrigues and
Viktória Fördős
(Klarna Bank, Sweden)
@InProceedings{Erlang18p67,
author = {Alexandre Jorge Barbosa Rodrigues and Viktória Fördős},
title = {Towards Secure Erlang Systems},
booktitle = {Proc.\ Erlang},
publisher = {ACM},
pages = {67-66},
doi = {10.1145/3239332.3242768},
year = {2018},
}
Publisher's Version
proc time: 0.65