Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM

9781450380492

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Secure design and verification of Erlang systems

Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang ◽

10.1145/3406085.3409011 ◽

2020 ◽

Author(s):

Viktória Fördős

Download Full-text

Clojerl: the expressive power of Clojure on the BEAM

Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang ◽

10.1145/3406085.3409012 ◽

2020 ◽

Author(s):

Juan Facorro ◽

Natalia Chechina

Keyword(s):

Expressive Power

Download Full-text

Machine-checked natural semantics for Core Erlang: exceptions and side effects

Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang ◽

10.1145/3406085.3409008 ◽

2020 ◽

Author(s):

Péter Bereczky ◽

Dániel Horpácsi ◽

Simon J. Thompson

Keyword(s):

Side Effects

Download Full-text

Transformations towards clean functional code

Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang ◽

10.1145/3406085.3409010 ◽

2020 ◽

Author(s):

Boldizsár Poór ◽

Melinda Toth ◽

István Bozó

Keyword(s):

Functional Code

Download Full-text

Teaching practical realistic verification of distributed algorithms in Erlang with TLA+

Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang ◽

10.1145/3406085.3409009 ◽

2020 ◽

Author(s):

Peter Zeller ◽

Annette Bieniusa ◽

Carla Ferreira

Keyword(s):

Distributed Algorithms

Download Full-text

Proceedings of the 19th ACM SIGPLAN International Workshop on ErlangLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM

Secure design and verification of Erlang systems

Clojerl: the expressive power of Clojure on the BEAM

Machine-checked natural semantics for Core Erlang: exceptions and side effects

Transformations towards clean functional code

Teaching practical realistic verification of distributed algorithms in Erlang with TLA+

Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang
Latest Publications