A Tree-Based Approach to Data Flow Proofs

被引：0
|
作者：
Hoenicke, Jochen [1 ]
Nutz, Alexander [1 ]
Podelski, Andreas [1 ]
机构：
[1] Univ Freiburg, Freiburg, Germany
来源：
VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS, (VSTTE 2018) | 2018年 / 11294卷
关键词：
D O I：
10.1007/978-3-030-03592-1_1
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper, we investigate the theoretical foundation for the cost/precision trade-off of data flow graphs for verification. We show that one can use the theory of tree automata in order to characterize the loss of precision inherent in the abstraction of a program by a data flow graph. We also show that one can transfer a result of Oh et al. and characterize the power of the proof system of data flow proofs (through a restriction on the assertion language in Floyd-Hoare proofs).
引用
收藏
页码：1 / 16
页数：16
相关论文
共 50 条
  • [21] Decision tree-based approach to extrapolate life cycle inventory data of manufacturing processes
    Saad, Mohamed
    Zhang, Yingzhong
    Jia, Jia
    Tian, Jinghai
    JOURNAL OF ENVIRONMENTAL MANAGEMENT, 2024, 360
  • [22] Decision tree-based learning and laboratory data mining: an efficient approach to amebiasis testing
    Al-khlifeh, Enas
    Tarawneh, Ahmad S.
    Almohammadi, Khalid
    Alrashidi, Malek
    Hassanat, Ramadan
    Hassanat, Ahmad B.
    PARASITES & VECTORS, 2025, 18 (01):
  • [23] Tree-based data aggregation approach in wireless sensor network using fitting functions
    Atoui, Ibrahim
    Ahmad, Ali
    Medlej, Maguy
    Makhoul, Abdallah
    Tawbe, Samar
    Hijazi, Abbas
    2016 SIXTH INTERNATIONAL CONFERENCE ON DIGITAL INFORMATION PROCESSING AND COMMUNICATIONS (ICDIPC), 2016, : 146 - 150
  • [24] Outdoor Scene Classification by a Neural Tree-Based Approach
    G. L. Foresti
    Pattern Analysis & Applications, 1999, 2 : 129 - 142
  • [25] A tree-based approach to clustering XML documents by structure
    Costa, G
    Manco, G
    Ortale, R
    Tagarelli, A
    KNOWLEDGE DISCOVERY IN DATABASES: PKDD 2004, PROCEEDINGS, 2004, 3202 : 137 - 148
  • [26] XGBoost: a tree-based approach for traffic volume prediction
    Lartey, Benjamin
    Homaifar, Abdollah
    Girma, Abenezer
    Karimoddini, Ali
    Opoku, Daniel
    2021 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2021, : 1280 - 1286
  • [27] A tree-based approach to matchmaking algorithms for resource discovery
    Islam, Md. Rafiqul
    Islam, Md. Zahidul
    Leyla, Nazia
    INTERNATIONAL JOURNAL OF NETWORK MANAGEMENT, 2008, 18 (05) : 427 - 436
  • [28] Tree-based disease classification using protein data
    Zhu, HT
    Yu, CY
    Zhang, HP
    PROTEOMICS, 2003, 3 (09) : 1673 - 1677
  • [29] Boosted incremental tree-based imputation of missing data
    Siciliano, Roberta
    Aria, Massimo
    D'Ambrosio, Antonio
    DATA ANALYSIS, CLASSIFICATION AND THE FORWARD SEARCH, 2006, : 271 - +
  • [30] Tree-Based Contrast Subspace Mining for Categorical Data
    Florence Sia
    Rayner Alfred
    Yuto Lim
    International Journal of Computational Intelligence Systems, 2020, 13 : 1714 - 1722
12345