Liquidity analysis in resource-aware programming (Q6052939)
From MaRDI portal
scientific article; zbMATH DE number 7741955
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Liquidity analysis in resource-aware programming |
scientific article; zbMATH DE number 7741955 |
Statements
Liquidity analysis in resource-aware programming (English)
0 references
25 September 2023
0 references
resource-aware programming
0 references
assets
0 references
liquidity
0 references
type system
0 references
symbolic analysis
0 references
