Semantics-directed program analysis: a tool-maker's perspective (Q5030183)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7474220
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7203719019889832
0 references
0.6741946339607239
0 references
0.6733200550079346
0 references
0.6680877804756165
0 references
