Towards Principled Compilation of Ethereum Smart Contracts (SoK).

Emilio Jesús Gallego Arias

Published in: NTMS (2019)

Keyphrases

supply chain
ubiquitous environments
smart environments
knowledge compilation
database
real world
decision making
database systems
data structure
mobile robot
smart grid