Interprocedural analysis for program comprehension by specialization

被引：0
|
作者：
CEDRIC IIE, Evry, France [1 ]
机构：
来源：
Program Comprehension Workshop Proc | / 133-141期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Computer aided software engineering
引用
收藏
相关论文
共 50 条
  • [1] Interprocedural analysis for program comprehension by specialization
    Blazy, S
    Facon, P
    FOURTH WORKSHOP ON PROGRAM COMPREHENSION, PROCEEDINGS, 1996, : 133 - 141
  • [2] SFAC, a tool for program comprehension by specialization
    Blazy, Sandrine
    Facon, Philippe
    Program Comprehension, Workshop Proceedings, 1994, : 162 - 167
  • [3] Modern methods for interprocedural program analysis
    Antonov, AS
    PROGRAMMING AND COMPUTER SOFTWARE, 1998, 24 (05) : 205 - 214
  • [4] A novel program representation for interprocedural analysis
    Agrawal, G
    Murthy, S
    Garud, C
    ACM SIGPLAN NOTICES, 1999, 34 (04) : 70 - 76
  • [5] EFFICIENT INTERPROCEDURAL ANALYSIS FOR PROGRAM PARALLELIZATION AND RESTRUCTURING
    LI, ZY
    YEW, PC
    SIGPLAN NOTICES, 1988, 23 (09): : 85 - 99
  • [6] Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis
    Boutonnet, Remy
    Halbwachs, Nicolas
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2019, 2019, 11388 : 136 - 159
  • [7] On the sequential nature of interprocedural program-analysis problems
    Reps, T
    ACTA INFORMATICA, 1996, 33 (08) : 739 - 757
  • [8] Variably interprocedural program analysis for runtime error detection
    Tomb, Aaron
    Brat, Guillaume
    Visser, Willem
    2007 ACM International Symposium on Software Testing and Analysis, ISSTA'07, 2007, : 97 - 107
  • [9] A denotational interprocedural program slicer
    Ouarbya, L
    Danicic, S
    Daoudi, M
    Harman, M
    Fox, C
    NINTH WORKING CONFERENCE ON REVERSE ENGINEERING, PROCEEDINGS, 2002, : 181 - 189
  • [10] Interprocedural Context-Unbounded Program Analysis Using Observation Sequences
    Liu, Peizun
    Wahl, Thomas
    Reps, Thomas
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2021, 42 (04):
12345