A fine-grained data-flow analysis framework

被引：5
|
作者：
Hsieh, CS
机构：
[1] Computer Science Department, Southwestern Oklahoma Stt. Univ., Weatherford
来源：
ACTA INFORMATICA | 1997年 / 34卷 / 09期
关键词：
D O I：
10.1007/s002360050101
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
A fine-grained data-flow analysis framework (L, F) where the elements of the semilattice L are mappings from a set of items I to a semilattice of values V is introduced, and an algorithm is presented to solve this framework by considering the elements of I and V individually, rather than regarding the elements of L as atomic values. It is shown that a variety of useful data-flow problems fit into the fine-grained data-flow analysis framework, and can be solved in O(\I\ x \N\) time.
引用
收藏
页码：653 / 665
页数：13
相关论文
共 50 条
  • [41] Fine-grained parallel SDN virtualization programming framework
    Song, Ping
    Liu, Yi
    Liu, Chi
    Zhang, Jing-Jing
    Qian, De-Pei
    Hao, Qin-Fen
    Ruan Jian Xue Bao/Journal of Software, 2014, 25 (10): : 2220 - 2234
  • [42] Simple Framework for Interpretable Fine-Grained Text Classification
    Battogtokh, Munkhtulga
    Luck, Michael
    Davidescu, Cosmin
    Borgo, Rita
    ARTIFICIAL INTELLIGENCE-ECAI 2023 INTERNATIONAL WORKSHOPS, PT 1, XAI3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, 2023, 2024, 1947 : 398 - 425
  • [43] A Lightweight and Fine-grained File System Sandboxing Framework
    Bijlani, Ashish
    Ramachandran, Umakishore
    9TH ASIA-PACIFIC SYSTEMS WORKSHOP 2018 (APSYS'18), 2018,
  • [44] Elaboration of a new framework for fine-grained epidemiological annotation
    Sarah Valentin
    Elena Arsevska
    Aline Vilain
    Valérie De Waele
    Renaud Lancelot
    Mathieu Roche
    Scientific Data, 9
  • [45] Fine-Grained Queue Measurement in the Data Plane
    Chen, Xiaoqi
    Feibish, Shir Landau
    Koral, Yaron
    Rexford, Jennifer
    Rottenstreich, Ori
    Monetti, Steven A.
    Wang, Tzuu-Yi
    PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON EMERGING NETWORKING EXPERIMENTS AND TECHNOLOGIES (CONEXT '19), 2019, : 15 - 29
  • [46] Power system terminal continuous trust evaluation model based on fine-grained data flow analysis
    Xie, Ming
    Proceedings of SPIE - The International Society for Optical Engineering, 2022, 12158
  • [47] Taming the IDE with Fine-grained Interaction Data
    Minelli, Roberto
    Mocci, Andrea
    Robbes, Romain
    Lanza, Michele
    2016 IEEE 24TH INTERNATIONAL CONFERENCE ON PROGRAM COMPREHENSION (ICPC), 2016,
  • [48] Commonsense Oriented Fine-Grained Data Augmentation
    Li, Huachao
    Kang, Bin
    Wang, Lei
    Computer Engineering and Applications, 2024, 60 (06) : 214 - 221
  • [49] Fine-grained Partitioning for Aggressive Data Skipping
    Sun, Liwen
    Franklin, Michael J.
    Krishnan, Sanjay
    Xin, Reynold S.
    SIGMOD'14: PROCEEDINGS OF THE 2014 ACM SIGMOD INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA, 2014, : 1115 - 1126
  • [50] Fine-Grained Data Committing for Persistent Memory
    Lu, Tianyue
    Liu, Yuhang
    Chen, Mingyu
    2017 15TH IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS AND 2017 16TH IEEE INTERNATIONAL CONFERENCE ON UBIQUITOUS COMPUTING AND COMMUNICATIONS (ISPA/IUCC 2017), 2017, : 438 - 443
12345