Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 2 of 2
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 …
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, …