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
Article: icfpws18erlangforeword-fm000-p doi:
Message from the Chairs
Article: icfpws18erlangforeword-fm001-p doi:
iDeA: An Immersive Debugger for Actors
Aman Shankar Mathur, Burcu Kulahcioglu Ozkan, and Rupak Majumdar
(MPI-SWS, Germany)
Publisher's Version Article: icfpws18erlangmain-id1-p doi:10.1145/3239332.3242762
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 Article: icfpws18erlangmain-id2-p doi:10.1145/3239332.3242763
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 Article: icfpws18erlangmain-id3-p doi:10.1145/3239332.3242764
Automatic Detection of Core Erlang Message Passing Errors
Joseph Harrison
(University of Kent, UK)
Publisher's Version Article: icfpws18erlangmain-id7-p doi:10.1145/3239332.3242765
Typing the Wild in Erlang
Nachiappan Valliappan and John Hughes
(Chalmers University of Technology, Sweden)
Publisher's Version Article: icfpws18erlangmain-id8-p doi:10.1145/3239332.3242766
Modeling Erlang Processes as Petri Nets
Jörgen Brandt and Wolfgang Reisig
(Humboldt-Universität zu Berlin, Germany)
Publisher's Version Article: icfpws18erlangmain-id9-p doi:10.1145/3239332.3242767
Towards Secure Erlang Systems
Alexandre Jorge Barbosa Rodrigues and Viktória Fördős
(Klarna Bank, Sweden)
Publisher's Version Article: icfpws18erlangmain-id10-p doi:10.1145/3239332.3242768

proc time: 0.01