Open Access. Powered by Scholars. Published by Universities.®
- Keyword
Articles 1 - 3 of 3
Full-Text Articles in Law
Deontics And Time In Contracts: An Executable Semantics For The L4 Dsl, Seng Joe Watt, Oliver Goodenough, Meng Weng (Huang Mingrong) Wong
Deontics And Time In Contracts: An Executable Semantics For The L4 Dsl, Seng Joe Watt, Oliver Goodenough, Meng Weng (Huang Mingrong) Wong
Research Collection Yong Pung How School Of Law
Existing approaches to modelling contracts often rely on deontic logic to reason about norms, and only treat time qualitatively. Using L4, a textual domain specific language (DSL) for the law, we offer a more operational interpretation of norms, based on states and transitions, that also accounts for the granular timing of events. In this paper, we present a higher-level rendering of the loan agreement from Flood & Goodenough in L4, and an accompanying operational semantics amenable to execution and static analysis. We also implement this semantics in Maude and show how this lets us visualize the execution of the loan …
An Idealist’S Approach For Smart Contract Correctness, Duy Tai Nguyen, Hong Long Pham, Jun Sun, Quang Loc Le
An Idealist’S Approach For Smart Contract Correctness, Duy Tai Nguyen, Hong Long Pham, Jun Sun, Quang Loc Le
Research Collection School Of Computing and Information Systems
In this work, we experiment an idealistic approach for smart contract correctness verification and enforcement, based on the assumption that developers are either desired or required to provide a correctness specification due to the importance of smart contracts and the fact that they are immutable after deployment. We design a static verification system with a specification language which supports fully compositional verification (with the help of function specifications, contract invariants, loop invariants and call invariants). Our approach has been implemented in a tool named iContract which automatically proves the correctness of a smart contract statically or checks the unverified part …
A Non-Contractual Approach To Smart Contracts, Florian Gamper
A Non-Contractual Approach To Smart Contracts, Florian Gamper
Research Collection Yong Pung How School Of Law
This article adds to the debate on what, legally speaking, smart contracts are and what they should be. Currently, much of this debate focuses on the relationship between smart contracts and legal contracts, overlooking that other legal categories may also be appropriate. This article suggests that the concept of abandonment can be fruitfully applied to smart contracts. Using the concept of abandonment has the advantage of allowing smart contracts, as close as legally possible, to be utilized as machines (or using the terminology suggested by Vitalik Buterin, founder of Etherium, as a ‘persistent script’). It would also make other issues, …