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)


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

Experience Report

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 Search

proc time: 0.59