Login / Signup
Safer smart contract programming with Scilla.
Ilya Sergey
Vaivaswatha Nagaraj
Jacob Johannsen
Amrit Kumar
Anton Trunov
Ken Chan Guan Hao
Published in:
Proc. ACM Program. Lang. (2019)
Keyphrases
</>
programming language
supply chain
computer programming
databases
real time
case study
multi agent
search algorithm
data model
decision trees
genetic algorithm
open source
ambient intelligence
development environment
object oriented programming
programming environment
transaction costs
programming education