Albert, an intermediate smart-contract language for the Tezos blockchain.

Bruno Bernardo Raphaël Cauderlier Basile Pesin Julien Tesson

Published in: CoRR (2020)

Keyphrases

programming language
natural language
language learning
general purpose
scheduling problem
english language
intermediate level
data sets
databases
high level
operational semantics
java programming