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 条
  • [1] Tree-based Approach to Missing Data Imputation
    Vateekul, Peerapon
    Sarinnapakorn, Kanoksri
    [J]. 2009 IEEE INTERNATIONAL CONFERENCE ON DATA MINING WORKSHOPS (ICDMW 2009), 2009, : 70 - +
  • [2] An Efficient Tree-based Fuzzy Data Mining Approach
    Lin, Chun-Wei
    Hong, Tzung-Pei
    Lu, Wen-Hsiang
    [J]. INTERNATIONAL JOURNAL OF FUZZY SYSTEMS, 2010, 12 (02) : 150 - 157
  • [3] A tree-based data perturbation approach for privacy-preserving data mining
    IEEE Computer Society
    不详
    不详
    [J]. IEEE Trans Knowl Data Eng, 2006, 9 (1278-1283):
  • [4] A tree-based data perturbation approach for privacy-preserving data mining
    Li, Xiao-Bai
    Sarkar, Sumit
    [J]. IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2006, 18 (09) : 1278 - 1283
  • [5] Tree-based indexes for image data
    Brown, L
    Gruenwald, L
    [J]. JOURNAL OF VISUAL COMMUNICATION AND IMAGE REPRESENTATION, 1998, 9 (04) : 300 - 313
  • [6] A tree-based approach for frequent pattern mining from uncertain data
    Leung, Carson Kai-Sang
    Mateo, Mark Anthony F.
    Brajczuk, Dale A.
    [J]. ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PROCEEDINGS, 2008, 5012 : 653 - 661
  • [7] Tree-based boosting with functional data
    Ju, Xiaomeng
    Salibian-Barrera, Matias
    [J]. COMPUTATIONAL STATISTICS, 2024, 39 (03) : 1587 - 1620
  • [8] Tree-based boosting with functional data
    Xiaomeng Ju
    Matías Salibián-Barrera
    [J]. Computational Statistics, 2024, 39 : 1587 - 1620
  • [9] Tree-Based Models for Correlated Data
    Rabinowicz, Assaf
    Rosset, Saharon
    [J]. Journal of Machine Learning Research, 2022, 23
  • [10] Tree-Based Models for Correlated Data
    Rabinowicz, Assaf
    Rosset, Saharon
    [J]. JOURNAL OF MACHINE LEARNING RESEARCH, 2022, 23
12345