IDEAS home Printed from https://ideas.repec.org/a/arp/tjssrr/2018p185-192.html
   My bibliography  Save this article

Bridging the Gap between Denotational Semantics and Operational Semantics in Smart Contract

Author

Listed:
  • Wong Wai Wai*

    (Multimedia University, Faculty of Law, Malaysia)

  • Gan Chin Lay

    (Multimedia University, Faculty of Business, Malaysia)

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. 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. Smart contract are more like an Apps which is capable of executing specific task but it fails to observe the fundamental understanding and agreement between the negotiating parties which is the core essence in traditional commercial contract. The objectives of this paper are to first, demonstrate the semantic discrepancies between traditional contract and smart contracts and the implication of the latter. Secondly, to support the proposition that programmers and computer scientists lack the required legal knowledge and logic in appreciating the various legal terms and effects of a concluded contract, there is a need to include lawyers and regulators to enhance the drafting of the corresponding denotational semantics in programming smart contract. This paper contends that the operational semantics which deals with the execution of the contract on technical platform should be consistent with and correspond with the denotational semantics.

Suggested Citation

  • Wong Wai Wai* & Gan Chin Lay, 2018. "Bridging the Gap between Denotational Semantics and Operational Semantics in Smart Contract," The Journal of Social Sciences Research, Academic Research Publishing Group, pages 185-192:2.
    • Handle: RePEc:arp:tjssrr:2018:p:185-192
    as

    Download full text from publisher

    File URL: https://www.arpgweb.com/pdf-files/spi2.64.185-192.pdf
    Download Restriction: no
    File URL: https://www.arpgweb.com/journal/7/special_issue/11-2018/2/4
    Download Restriction: no
    ---><---

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:arp:tjssrr:2018:p:185-192. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Managing Editor (email available below). General contact details of provider: http://arpgweb.com/?ic=journal&journal=7&info=aims .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.