Login / Signup
Scilla: a Smart Contract Intermediate-Level LAnguage.
Ilya Sergey
Amrit Kumar
Aquinas Hobor
Published in:
CoRR (2018)
Keyphrases
</>
intermediate level
low level
intermediate representation
control structure
intermediate level vision
high level
learning objectives
databases
pattern recognition
natural language
database applications
production system