AI Chat AI Image Generator AI Video Text to Speech

Literature Review: Smart Contract Semantics

12/22/2018

∙

by Varun Mathur, et al.

∙

∙

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.

research

∙ 09/12/2019

A Formal Semantics of Findel in Coq (Short Paper)

We present the first formal semantics of Findel - a DSL for specifying f...

0 Andrei Arusoaie, et al. ∙

research

∙ 04/30/2018

Temporal Aspects of Smart Contracts for Financial Derivatives

Implementing smart contracts to automate the performance of high-value o...

0 Christopher D. Clack, et al. ∙

research

∙ 02/14/2018

On the Feasibility of Decentralized Derivatives Markets

In this paper, we present Velocity, a decentralized market deployed on E...

0 Shayan Eskandari, et al. ∙

research

∙ 05/13/2020

eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts

Ethereum has emerged as the most popular smart contract development plat...

0 Clara Schneidewind, et al. ∙

research

∙ 08/06/2021

Certified Compilation of Financial Contracts

We present an extension to a certified financial contract management sys...

0 Danil Annenkov, et al. ∙

research

∙ 07/15/2020

Bitcoin Trace-Net: Formal Contract Verification at Signing Time

Smart contracting protocols promise to regulate the transfer of cryptocu...

0 James Chiang, et al. ∙

research

∙ 03/27/2013

Probabilistic Semantics and Defaults

There is much interest in providing probabilistic semantics for defaults...

0 Eric Neufeld, et al. ∙