Towards Exact Semantic Equivalence of Erlang BEAM Constructs : Lessons from Advanced Emulation and Decompilation

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Towards Exact Semantic Equivalence of Erlang BEAM Constructs : Lessons from Advanced Emulation and Decompilation
Συγγραφείς: Morse, Gregory, Tóth, Melinda
Πηγή: Proceedings of the 25th ACM SIGPLAN International Workshop on Erlang. :2-13
Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3830434.3830941
Βάση Δεδομένων: ACM Full-Text Collection