A Precise Framework for Source-Level Control-Flow Analysis

被引：0

作者：

Riouak, Idriss ^{[1
]}

Reichenbach, Christoph ^{[1
]}

Hedin, Gorel ^{[1
]}

Fors, Niklas ^{[1
]}

机构：

[1] Lund University, Department of Computer Science, Sweden

来源：

Proceedings - IEEE 21st International Working Conference on Source Code Analysis and Manipulation, SCAM 2021 | 2021年

关键词：

Attribute grammars - Attributed grammars - Control-flow - Control-flow analysis - Control-flow graphs - Dataflow - Declarative - Graph-based - Language independents - Source level;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：1 / 11