A structured approach to static semantics correctness (Q1054459)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A structured approach to static semantics correctness |
scientific article |
Statements
A structured approach to static semantics correctness (English)
0 references
1983
0 references
correctness proof of static semantics
0 references
type checking
0 references
standard semantics
0 references