default search action

combined dblp search
author search
venue search
publication search

ask others

Erlang Workshop 2017: Oxford, UK

> Home > Conferences and Workshops > Erlang Workshop

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/erlang/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/2017
Natalia Chechina, Scott Lystig Fritchie:
Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang, Oxford, United Kingdom, September 3-9, 2017. ACM 2017, ISBN 978-1-4503-5179-9

Technical Report

- view
  authority control:
- export record
  dblp key:
  - conf/erlang/Shishkin17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/Shishkin17
Evgeniy Shishkin:
Construction and formal verification of a fault-tolerant distributed mutual exclusion algorithm. 1-12
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/AzumaIYK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/AzumaIYK17
Kagumi Azuma, Nagisa Ishiura, Nobuaki Yoshida, Hiroyuki Kanbara:
Distributed memory architecture for high-level synthesis of embedded controllers from Erlang. 13-19
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/CassarFAI17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/CassarFAI17
Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir:
eAOP: an aspect oriented programming framework for Erlang. 20-30
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/LukacsT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/LukacsT17
Dániel Lukács, Melinda Tóth:
Structuring Erlang BEAM control flow. 31-42
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/AronisS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/AronisS17
Stavros Aronis, Konstantinos Sagonas:
The shared-memory interferences of Erlang/OTP built-ins. 43-54
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/Harrison17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/Harrison17
Joseph R. Harrison:
Towards an Isabelle/HOL formalisation of core Erlang. 55-63

Experience Report

- view
  authority control:
- export record
  dblp key:
  - conf/erlang/FordosBT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/FordosBT17
Viktória Fördós, István Bozó, Melinda Tóth:
Towards change-driven testing. 64-65

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.