Powered by

16th ACM SIGPLAN International Workshop on Erlang (Erlang 2017), September 8, 2017, Oxford, UK

Erlang 2017 – Proceedings

Contents - Abstracts - Authors

16th ACM SIGPLAN International Workshop on Erlang (Erlang 2017)

Title Page
Article: icfpws17erlangforeword-fm000-p doi:

Message from the Chairs
Article: icfpws17erlangforeword-fm001-p doi:

Construction and Formal Verification of a Fault-Tolerant Distributed Mutual Exclusion Algorithm
Evgeniy Shishkin
(JSC InfoTeCS, Russia)
Article: icfpws17erlangmain-erlangmainid4-p doi:

Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang
Kagumi Azuma, Nagisa Ishiura, Nobuaki Yoshida, and Hiroyuki Kanbara
(Kwansei Gakuin University, Japan; ASTEM RI/KYOTO, Japan)
Article: icfpws17erlangmain-erlangmainid2-p doi:

eAOP: An Aspect Oriented Programming Framework for Erlang
Ian Cassar, Adrian Francalanza, Luca Aceto, and Anna Ingólfsdóttir
(University of Malta, Malta; Reykjavik University, Iceland)
Article: icfpws17erlangmain-erlangmainid1-p doi:

Structuring Erlang BEAM Control Flow
Dániel Lukács and Melinda Tóth
(ELTE Eötvös Loránd University, Hungary)
Article: icfpws17erlangmain-erlangmainid8-p doi:

The Shared-Memory Interferences of Erlang/OTP Built-Ins
Stavros Aronis and Konstantinos Sagonas
(Uppsala University, Sweden)
Article: icfpws17erlangmain-erlangmainid10-p doi:

Towards an Isabelle/HOL Formalisation of Core Erlang
Joseph R. Harrison
(University of Kent, UK)
Article: icfpws17erlangmain-erlangmainid9-p doi:

Towards Change-Driven Testing
Viktória Fördős, István Bozó, and Melinda Tóth
(Klarna, Sweden; ELTE Eötvös Loránd University, Hungary)
Article: icfpws17erlangmain-erlangmainid5-p doi:

proc time: 0.65