ICFP Workshops 2018
23nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2018)
Powered by
Conference Publishing Consulting
17th ACM SIGPLAN International Workshop on Erlang (Erlang 2018), September 29, 2018, St. Louis, MO, USA

Erlang 2018 – Proceedings

 Contents - Abstracts - Authors

17th ACM SIGPLAN International Workshop on Erlang (Erlang 2018)

Title Page
Message from the Chairs
iDeA: An Immersive Debugger for Actors
Aman Shankar Mathur, Burcu Kulahcioglu Ozkan, and Rupak Majumdar
(MPI-SWS, Germany)
Publisher's Version Info
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)
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)
Publisher's Version
Automatic Detection of Core Erlang Message Passing Errors
Joseph Harrison
(University of Kent, UK)
Publisher's Version
Typing the Wild in Erlang
Nachiappan Valliappan and John Hughes
(Chalmers University of Technology, Sweden)
Publisher's Version
Modeling Erlang Processes as Petri Nets
Jörgen Brandt and Wolfgang Reisig
(Humboldt-Universität zu Berlin, Germany)
Publisher's Version
Towards Secure Erlang Systems
Alexandre Jorge Barbosa Rodrigues and Viktória Fördős
(Klarna Bank, Sweden)
Publisher's Version

proc time: 0.9