Conference
Towards Exact Semantic Equivalence of Erlang BEAM Constructs : Lessons from Advanced Emulation and Decompilation
| Title: | Towards Exact Semantic Equivalence of Erlang BEAM Constructs : Lessons from Advanced Emulation and Decompilation |
|---|---|
| Authors: | Morse, Gregory, Tóth, Melinda |
| Source: | Proceedings of the 25th ACM SIGPLAN International Workshop on Erlang. :2-13 |
| Availability: | http://dl.acm.org/doi/10.1145/3830434.3830941 |
| Database: | ACM Full-Text Collection |
| DOI: | 10.1145/3830434.3830941 |
|---|