Calculating sized types (Q5959585)
From MaRDI portal
scientific article; zbMATH DE number 1720031
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Calculating sized types |
scientific article; zbMATH DE number 1720031 |
Statements
Calculating sized types (English)
0 references
10 October 2002
0 references
type inference
0 references
size inference
0 references
Presburger formulae
0 references
Omega calculator
0 references
