SEDec 22, 2018
Literature Review: Smart Contract Semantics
arXiv:1901.01815v13 citations
Originality Synthesis-oriented
AI Analysis
It addresses the problem of formal modeling for financial derivatives, but it is incremental as a review and evaluation of existing work.
This review evaluates formalisms for modeling the semantics of financial derivatives contracts, selecting Lee's formalism as the best candidate and further examining it.
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.