Synapse: automatic behaviour inference and implementation comparison for Erlang

Pablo Lamela Seijas, Simon J. Thompson, Ramsay Taylor, Kirill Bogdanov, John Derrick. Synapse: automatic behaviour inference and implementation comparison for Erlang. In Laura M. Castro, Hans Svensson, editors, Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, Gothenburg, Sweden, September 5, 2014. pages 73-74, ACM, 2014. [doi]

Abstract

Abstract is missing.