Structural properties of post-dominator trees

被引：1
|
作者：
Chen, TY
Cheung, YY
机构：
来源：
AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE - PROCEEDINGS | 1997年
关键词：
D O I：
10.1109/ASWEC.1997.623767
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The concepts of post-dominators and post-dominator trees are extensively used in code optimisation [2], program slicing [1, 5, 6] and test suite reduction[4]. This paper studies some characteristics of post-dominator trees. These results can form the basis for the development of a more efficient construction algorithm of post-dominator tree.
引用
收藏
页码：158 / 165
页数：8
相关论文
共 50 条
  • [1] Post-Dominator Analysis for Precisely Handling Implicit Flows
    Bichhawat, Abhishek
    [J]. 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, Vol 2, 2015, : 787 - 789
  • [2] ON THE DEGREE OF DOMINATOR TREES
    LEISS, EL
    [J]. INFORMATION PROCESSING LETTERS, 1988, 29 (04) : 199 - 200
  • [3] ON THE DOMINATOR COLORINGS IN TREES
    Merouane, Houcine Boumediene
    Chellali, Mustapha
    [J]. DISCUSSIONES MATHEMATICAE GRAPH THEORY, 2012, 32 (04) : 677 - 683
  • [4] INCREMENTAL COMPUTATION OF DOMINATOR TREES
    SREEDHAR, VC
    LEE, YF
    GAO, GR
    [J]. SIGPLAN NOTICES, 1995, 30 (03): : 1 - 12
  • [5] Incremental computation of dominator trees
    Sreedhar, VC
    Gao, GR
    Lee, YF
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1997, 19 (02): : 239 - 252
  • [6] Dominator Tree Certification and Divergent Spanning Trees
    Georgiadis, Loukas
    Tarjan, Robert E.
    [J]. ACM TRANSACTIONS ON ALGORITHMS, 2016, 12 (01)
  • [7] Dominator trees and fast verification of proof nets
    Murawski, AS
    Ong, CHL
    [J]. 15TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2000, : 181 - 191
  • [8] Total Global Dominator Coloring of Trees and Unicyclic Graphs
    Chithra, K. P.
    Joseph, Mayamma
    [J]. BAGHDAD SCIENCE JOURNAL, 2023, 20 (04) : 1380 - 1386
  • [9] Using dominator trees to catch secondary extinction in action
    Bodini, A.
    Allesina, S.
    Bellingeri, M.
    [J]. RECENT PROGRESS IN COMPUTATIONAL SCIENCES AND ENGINEERING, VOLS 7A AND 7B, 2006, 7A-B : 750 - +
  • [10] Validating Dominator Trees for a Fast, Verified Dominance Test
    Blazy, Sandrine
    Demange, Delphine
    Pichardie, David
    [J]. INTERACTIVE THEOREM PROVING, 2015, 9236 : 84 - 99
12345