ICFP Workshops 2017
22nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2017)
Powered by
Conference Publishing Consulting
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)

Frontmatter

Title Page
Message from the Chairs

Technical Report

Construction and Formal Verification of a Fault-Tolerant Distributed Mutual Exclusion Algorithm
Evgeniy Shishkin
(JSC InfoTeCS, Russia)
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)
eAOP: An Aspect Oriented Programming Framework for Erlang
Ian Cassar, Adrian Francalanza ORCID logo, Luca Aceto, and Anna Ingólfsdóttir
(University of Malta, Malta; Reykjavik University, Iceland)
Structuring Erlang BEAM Control Flow
Dániel Lukács and Melinda Tóth ORCID logo
(ELTE Eötvös Loránd University, Hungary)
The Shared-Memory Interferences of Erlang/OTP Built-Ins
Stavros Aronis and Konstantinos Sagonas ORCID logo
(Uppsala University, Sweden)
Info
Towards an Isabelle/HOL Formalisation of Core Erlang
Joseph R. Harrison
(University of Kent, UK)

Experience Report

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

proc time: 1.02