Bridging the Gap between Denotational Semantics of Traditional Contract And Smart Contract

Abstract

In this era of increasing cyber dependency in business dealings there is huge potential in the adoption of Distributed Ledger Technologies (DLT) particularly in the context of smart contract in the commercial world. The phenomenon of smart contract operates independently without the cumbersome need to engage any intermediary and is capable of executing specific task.(Thake, 2018) People relates it more to a piece of code (known as a software agent) that is designed to execute certain tasks if pre-defined conditions are met. Such tasks are often embedded within, and performed on a distributed ledger.”(Stark, 2016) However, if one accepts the contention that smart contract is not merely as a set of computer code but a smart legal contract which contains obligations and legal terms that are enforceable, hence, in programming or writing smart contract, one must ensure that the software developers who design smart contract take note of the legal rules and principles behind the specific type of contract in question. It has been argued that there is too much dependency on the programming aspect in the creation of smart contracts by programmers and computer scientists. (Khalil et al., 2017)