Please use this identifier to cite or link to this item:
/library/oar/handle/123456789/136294| Title: | AspectSol : a solidity aspect-oriented programming tool with applications in runtime verification |
| Authors: | Azzopardi, Shaun Ellul, Joshua Falzon, Ryan Pace, Gordon J. |
| Keywords: | Blockchains (Databases) Smart contracts -- Technological innovations Application software Computer software -- Development Operating systems (Computers) |
| Issue Date: | 2022 |
| Publisher: | Springer International Publishing |
| Citation: | Azzopardi, S., Ellul, J., Falzon, R., & Pace, G. J. (2022, September). AspectSol: A solidity aspect-oriented programming tool with applications in runtime verification. In International Conference on Runtime Verification (pp. 243-252). Cham: Springer International Publishing. |
| 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. |
| URI: | https://www.um.edu.mt/library/oar/handle/123456789/136294 |
| Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| AspectSol.pdf Restricted Access | 426.99 kB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.