Login / Signup
Synapse: automatic behaviour inference and implementation comparison for Erlang.
Pablo Lamela Seijas
Simon J. Thompson
Ramsay Taylor
Kirill Bogdanov
John Derrick
Published in:
Erlang Workshop (2014)
Keyphrases
</>
fully automatic
implementation details
semi automatic
probabilistic inference
database
web services
case study
bayesian networks
relational databases
markov chain
complexity analysis