arXiv Open Access 2018

Literature Review: Smart Contract Semantics

Varun Mathur

Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

cs.SE

Penulis (1)

Varun Mathur

Format Sitasi

APA MLA BibTeX

Mathur, V. (2018). Literature Review: Smart Contract Semantics. https://arxiv.org/abs/1901.01815

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2018
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓