Static correctness of hierarchical procedures (Q1351792)
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: Static correctness of hierarchical procedures |
scientific article; zbMATH DE number 984522
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Static correctness of hierarchical procedures |
scientific article; zbMATH DE number 984522 |
Statements
Static correctness of hierarchical procedures (English)
0 references
27 February 1997
0 references
opaque types
0 references
subtype polymorphism
0 references
flexible polymorphism
0 references
0 references
0.8585735
0 references
0.8522853
0 references
0.8455753
0 references
0.8446245
0 references
0.8407623
0 references
0.83963263
0 references
0 references
