Termination of Ethereum's Smart Contracts.

Thomas Genet Thomas P. Jensen Justine Sauvage

Published in: ICETE (2) (2020)

Keyphrases

supply chain
term rewriting
computer vision
knowledge base
rewrite systems
information retrieval
image processing
database systems
information technology
mobile robot
integrity constraints
theorem proving
smart grid
smart spaces
termination analysis