A Model for Implementing EUCLID Modules and Prototypes (Q3954795)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Model for Implementing EUCLID Modules and Prototypes |
scientific article |
Statements
A Model for Implementing EUCLID Modules and Prototypes (English)
0 references
1982
0 references
verifiable systems software
0 references
parametrized type definitions
0 references
programming languages
0 references
language constructs
0 references
abstract data types
0 references
processors
0 references
run-time environments
0 references
packages
0 references
system implementation language
0 references
