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
相关论文
共 50 条
  • [21] Accelerating Source-Level Timing Simulation
    Schulz, Simon
    Bringmann, Oliver
    PROCEEDINGS OF THE 2016 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2016, : 1574 - 1579
  • [22] THE INTEGRATION OF EMULATORS WITH SOURCE-LEVEL DEBUGGERS
    DAVIS, CW
    COMPUTER DESIGN, 1992, 31 (03): : 99 - 99
  • [23] A case for source-level transformations in MATLAB
    Menon, V
    Pingali, K
    USENIX ASSOCIATION PROCEEDINGS OF THE 2ND CONFERENCE ON DOMAIN-SPECIFIC LANGUAGES (DSL'99), 1999, : 53 - 65
  • [24] Data-Flow vs Control-Flow for Extreme Level Computing
    Evripidou, Paraskevas
    Kyriacou, Costas
    2013 DATA-FLOW EXECUTION MODELS FOR EXTREME SCALE COMPUTING (DFM), 2014, : 9 - 13
  • [25] A case for source-level transformations in MATLAB
    Menon, V
    Pingali, K
    ACM SIGPLAN NOTICES, 2000, 35 (01) : 53 - 65
  • [26] Correctness of source-level safety policies
    Denney, E
    Fischer, B
    FME 2003: FORMAL METHODS, PROCEEDINGS, 2003, 2805 : 894 - 913
  • [27] Control-Flow Residual Analysis for Symbolic Automata
    Azzopardi, Shaun
    Colombo, Christian
    Pace, Gordon J.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (254): : 29 - 43
  • [28] Revisiting Source-Level XQuery Normalization
    Lee, Ki-Hoon
    Park, Young-Ho
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2011, E94D (03) : 622 - 631
  • [29] Trace-Based Control-Flow Analysis
    Montagu, Benoit
    Jensen, Thomas
    PROCEEDINGS OF THE 42ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '21), 2021, : 482 - 496
  • [30] Cool:: A control-flow generator for system analysis
    Braun, V
    Knoop, J
    Koschützki, D
    COMPILER CONSTRUCTION, 1998, 1383 : 306 - 309
12345