Liquidity analysis in resource-aware programming

DOI10.1016/j.jlamp.2023.100889OpenAlexW4380884364MaRDI QIDQ6052939

Cosimo Laneve

Publication date: 25 September 2023

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2023.100889

zbMATH Keywords

symbolic analysistype systemliquidityassetsresource-aware programming

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Liquidity analysis in resource-aware programming