A Formalisation of Core Erlang, a Concurrent Actor Language.

Péter Bereczky Dániel Horpácsi Simon J. Thompson

Published in: CoRR (2023)

Keyphrases

programming language
natural language
language learning
data sets
artificial intelligence
natural language processing
formal analysis
linguistic knowledge
concurrent programming
concurrent programs
machine learning
context dependent
modeling language
representation language
concurrent processes