Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang - Erlang 2017
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450351799

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards change-driven testing

Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang - Erlang 2017 ◽

10.1145/3123569.3123575 ◽

2017 ◽

Author(s):

Viktória Fördős ◽

István Bozó ◽

Melinda Tóth

Download Full-text

The shared-memory interferences of Erlang/OTP built-ins

Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang - Erlang 2017 ◽

10.1145/3123569.3123573 ◽

2017 ◽

Cited By ~ 1

Author(s):

Stavros Aronis ◽

Konstantinos Sagonas

Keyword(s):

Shared Memory

Download Full-text

Structuring Erlang BEAM control flow

Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang - Erlang 2017 ◽

10.1145/3123569.3123572 ◽

2017 ◽

Author(s):

Dániel Lukács ◽

Melinda Tóth

Keyword(s):

Control Flow ◽

Beam Control

Download Full-text

Towards an Isabelle/HOL formalisation of core Erlang

Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang - Erlang 2017 ◽

10.1145/3123569.3123576 ◽

2017 ◽

Cited By ~ 2

Author(s):

Joseph R. Harrison

Download Full-text

Distributed memory architecture for high-level synthesis of embedded controllers from Erlang

Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang - Erlang 2017 ◽

10.1145/3123569.3123574 ◽

2017 ◽

Author(s):

Kagumi Azuma ◽

Nagisa Ishiura ◽

Nobuaki Yoshida ◽

Hiroyuki Kanbara

Keyword(s):

Distributed Memory ◽

High Level Synthesis ◽

Memory Architecture ◽

High Level ◽

Distributed Memory Architecture

Download Full-text

Construction and formal verification of a fault-tolerant distributed mutual exclusion algorithm

Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang - Erlang 2017 ◽

10.1145/3123569.3123571 ◽

2017 ◽

Cited By ~ 1

Author(s):

Evgeniy Shishkin

Keyword(s):

Formal Verification ◽

Fault Tolerant ◽

Mutual Exclusion ◽

Distributed Mutual Exclusion ◽

Mutual Exclusion Algorithm

Download Full-text

eAOP: an aspect oriented programming framework for Erlang

Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang - Erlang 2017 ◽

10.1145/3123569.3123570 ◽

2017 ◽

Cited By ~ 2

Author(s):

Ian Cassar ◽

Adrian Francalanza ◽

Luca Aceto ◽

Anna Ingólfsdóttir

Keyword(s):

Aspect Oriented Programming ◽

Programming Framework

Download Full-text

Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang - Erlang 2017Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Towards change-driven testing

The shared-memory interferences of Erlang/OTP built-ins

Structuring Erlang BEAM control flow

Towards an Isabelle/HOL formalisation of core Erlang

Distributed memory architecture for high-level synthesis of embedded controllers from Erlang

Construction and formal verification of a fault-tolerant distributed mutual exclusion algorithm

eAOP: an aspect oriented programming framework for Erlang

Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang - Erlang 2017
Latest Publications