Literature Review: Smart Contract Semantics
Software Engineering
2019-01-08 v1
Abstract
This review presents and evaluates various formalisms for the purpose of modelling the semantics of financial derivatives contracts. The formalism proposed by Lee is selected as the best candidate among those initially reviewed. Further examination and evaluation of this formalism is done.
Cite
@article{arxiv.1901.01815,
title = {Literature Review: Smart Contract Semantics},
author = {Varun Mathur},
journal= {arXiv preprint arXiv:1901.01815},
year = {2019}
}