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 – Advance Table of Contents

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 Article Search 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 Article Search
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 Search
Automatic Detection of Core Erlang Message Passing Errors
Joseph Harrison
(University of Kent, UK)
Publisher's Version Article Search
Typing the Wild in Erlang
Nachiappan Valliappan and John Hughes
(Chalmers University of Technology, Sweden)
Publisher's Version Article Search
Modeling Erlang Processes as Petri Nets
Jörgen Brandt and Wolfgang Reisig
(Humboldt-Universität zu Berlin, Germany)
Publisher's Version Article Search
Towards Secure Erlang Systems
Alexandre Jorge Barbosa Rodrigues and Viktória Fördős
(Klarna Bank, Sweden)
Publisher's Version Article Search

proc time: 2.45