Program Logics for Homogeneous Generative Run-Time Meta-Programming (Q5177336)
From MaRDI portal
scientific article; zbMATH DE number 6413635
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Program Logics for Homogeneous Generative Run-Time Meta-Programming |
scientific article; zbMATH DE number 6413635 |
Statements
Program Logics for Homogeneous Generative Run-Time Meta-Programming (English)
0 references
11 March 2015
0 references
program logic
0 references
specification
0 references
verification
0 references
meta-programming
0 references
types
0 references
observational completeness
0 references
descriptive completeness
0 references
relative completeness
0 references
characteristic formula
0 references
