PAG -- an efficient program analyzer generator (Q1856182)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | PAG -- an efficient program analyzer generator |
scientific article |
Statements
PAG -- an efficient program analyzer generator (English)
0 references
1998
0 references
data flow analysis
0 references
specification and generation of analyzers
0 references
abstract interpretation
0 references
interprocedural analysis
0 references
compiler construction
0 references
