Semantics-directed program analysis: A tool-maker's perspective (Q5030183)
From MaRDI portal
scientific article; zbMATH DE number 7474220
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Semantics-directed program analysis: A tool-maker's perspective |
scientific article; zbMATH DE number 7474220 |
Statements
Semantics-directed program analysis: A tool-maker's perspective (English)
0 references
16 February 2022
0 references
program analysis
0 references
abstract interpretation
0 references
denotational semantics
0 references
two-level metalanguages
0 references
tools for program analysis
0 references
