Liquidity is a liveness property of programs managing resources that pinpoints those programs not freezing any resource forever. We consider a simple stateful language whose resources are assets (digital currencies, non fungible tokens, etc.). Then we define a type system that tracks in a symbolic way the input- output behaviour of functions with respect to assets. These types and their composition, which define types of computations, allow us to design two algorithms for liquidity that have different precisions and costs. We also demonstrate the correctness of the algorithms.
Liquidity Analysis in Resource-Aware Programming / Silvia Crafa; Cosimo Laneve. - STAMPA. - 13712:(2022), pp. 205-221. (Intervento presentato al convegno 18th International Conference on Formal Aspects of Component Software, FACS 2022 tenutosi a Oslo (virtuale) nel 10-11/11/2022) [10.1007/978-3-031-20872-0_12].
Liquidity Analysis in Resource-Aware Programming
Cosimo Laneve
2022
Abstract
Liquidity is a liveness property of programs managing resources that pinpoints those programs not freezing any resource forever. We consider a simple stateful language whose resources are assets (digital currencies, non fungible tokens, etc.). Then we define a type system that tracks in a symbolic way the input- output behaviour of functions with respect to assets. These types and their composition, which define types of computations, allow us to design two algorithms for liquidity that have different precisions and costs. We also demonstrate the correctness of the algorithms.| File | Dimensione | Formato | |
|---|---|---|---|
|
Stipula_Liquidity.pdf
Open Access dal 02/11/2023
Tipo:
Postprint
Licenza:
Licenza per accesso libero gratuito
Dimensione
539.6 kB
Formato
Adobe PDF
|
539.6 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
