The semantic treatment of polymorphic specification languages (Q2956733)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6676214
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The semantic treatment of polymorphic specification languages |
scientific article; zbMATH DE number 6676214 |
Statements
The semantic treatment of polymorphic specification languages (English)
0 references
19 January 2017
0 references
polymorphic type system
0 references
axiomatic specification
0 references
algebraic semantics
0 references
0.7582632899284363
0 references
0.734539270401001
0 references
0.7315797805786133
0 references
0.7241197228431702
0 references
