Inserting injection operations to denotational specifications (Q1082803)
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: Inserting injection operations to denotational specifications |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Inserting injection operations to denotational specifications |
scientific article |
Statements
Inserting injection operations to denotational specifications (English)
0 references
1986
0 references
In describing denotational semantics of programming languages, injection operations into sum domains are conventionally omitted for the sake of brevity. This in turn leads to difficulties for semantic processing systems which accept denotational specifications as input and mechanicaly calculate them for debugging the semantics. This paper describes an algorithm for inserting injection operations to denotational specifications as part of the typechecking process.
0 references
semantics implementation
0 references
polymorphic type
0 references
denotational semantics
0 references
denotational specifications
0 references
typechecking
0 references
