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
, 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
(ELTE Eötvös Loránd University, Hungary)
The Shared-Memory Interferences of Erlang/OTP Built-Ins
Stavros Aronis and
Konstantinos Sagonas
(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ó
, and
Melinda Tóth
(Klarna, Sweden; ELTE Eötvös Loránd University, Hungary)
proc time: 0.65
Info
Info