Language-based program verification via expressive types (Q2866340)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Language-based program verification via expressive types |
scientific article; zbMATH DE number 6238198
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Language-based program verification via expressive types |
scientific article; zbMATH DE number 6238198 |
Statements
13 December 2013
0 references
type inference
0 references
type error reporting
0 references
verifying sortedness
0 references
resource usage verification
0 references
0.9101424
0 references
0.90972304
0 references
0.90961605
0 references
0.90946895
0 references
0.90392005
0 references
0.90104383
0 references
Language-based program verification via expressive types (English)
0 references
