Login / Signup
Obsidian: Typestate and Assets for Safer Blockchain Programming.
Michael J. Coblenz
Reed Oei
Tyler Etzel
Paulette Koronkevich
Miles Baker
Yannick Bloem
Brad A. Myers
Joshua Sunshine
Jonathan Aldrich
Published in:
CoRR (2019)
Keyphrases
</>
programming language
programming environment
information retrieval
bayesian networks
database
data sets
social networks
computer vision
optimal solution
relational databases
financial markets
fully functional
high level language