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 behavior 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.

Laneve C. (2023). Liquidity analysis in resource-aware programming. THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 135, 1-18 [10.1016/j.jlamp.2023.100889].

Liquidity analysis in resource-aware programming

Laneve C.
Primo
2023

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 behavior 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.
2023
Laneve C. (2023). Liquidity analysis in resource-aware programming. THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 135, 1-18 [10.1016/j.jlamp.2023.100889].
Laneve C.
File in questo prodotto:
File Dimensione Formato  
JLAMP-2023.pdf

accesso aperto

Tipo: Versione (PDF) editoriale
Licenza: Licenza per Accesso Aperto. Creative Commons Attribuzione (CCBY)
Dimensione 544.93 kB
Formato Adobe PDF
544.93 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/954465
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 1
social impact