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)
Publisher's Version
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)
Publisher's Version
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)
Publisher's Version
Structuring Erlang BEAM Control Flow
Dániel Lukács and Melinda Tóth ORCID logo
(ELTE Eötvös Loránd University, Hungary)
Publisher's Version
The Shared-Memory Interferences of Erlang/OTP Built-Ins
Stavros Aronis and Konstantinos Sagonas ORCID logo
(Uppsala University, Sweden)
Publisher's Version Info
Towards an Isabelle/HOL Formalisation of Core Erlang
Joseph R. Harrison
(University of Kent, UK)
Publisher's Version

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)
Publisher's Version

proc time: 1.25