Language-Based Program Verification via Expressive Types (Q2866340)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Language-Based Program Verification via Expressive Types |
scientific article |
Statements
Language-Based Program Verification via Expressive Types (English)
0 references
13 December 2013
0 references
type inference
0 references
type error reporting
0 references
verifying sortedness
0 references
resource usage verification
0 references
