AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification

dc.contributor.author	Azzopardi, Shaun
dc.contributor.author	Ellul, Joshua
dc.contributor.author	Falzon, Ryan
dc.contributor.author	Pace, Gordon J.
dc.date.accessioned	2022-11-15T12:36:48Z
dc.date.available	2022-11-15T12:36:48Z
dc.date.issued	2022
dc.identifier.citation	RV 2022: Runtime Verification pp 243–252	en
dc.identifier.uri	https://hdl.handle.net/2077/74146
dc.description.abstract	Aspect-oriented programming tools aim to provide increased code modularity by enabling programming of cross-cutting concerns separate from the main body of code. Since the inception of runtime verification, aspect-oriented programming has regularly been touted as a perfect accompanying tool, by allowing for non-invasive monitoring instrumentation techniques. In this paper we present, AspectSol, which enables aspect-oriented programming for smart contracts written in Solidity, and then discuss the design space for pointcuts and aspects in this context. We present and evaluate practical runtime verification uses and applications of the tool.	en
dc.language.iso	eng	en
dc.publisher	International Conference on Runtime Verification	en
dc.subject	Aspect-Oriented Programming	en
dc.subject	Smart Contracts	en
dc.subject	Runtime Verification	en
dc.title	AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification	en
dc.type	Text	en
dc.type.svep	conference paper, peer reviewed	en