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 条
  • [41] Improving Program Comprehension by Enhancing Program Constructs: An Analysis of the Umple language
    Forward, Andrew
    Lethbridge, Timothy C.
    Brestovansky, Dusan
    ICPC: 2009 IEEE 17TH INTERNATIONAL CONFERENCE ON PROGRAM COMPREHENSION, 2009, : 311 - 312
  • [42] Cerebral specialization for language comprehension in bilingual toddlers
    Conboy, BT
    Mills, D
    JOURNAL OF COGNITIVE NEUROSCIENCE, 2000, : 17 - 17
  • [43] Interprocedural dependence analysis and parallelization
    Burke, MG
    Cytron, RK
    ACM SIGPLAN NOTICES, 2004, 39 (04) : 139 - 140
  • [44] Interprocedural parallelization analysis in SUIF
    Hall, MW
    Amarasinghe, SP
    Murphy, BR
    Liao, SW
    Lam, MS
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2005, 27 (04): : 662 - 731
  • [45] Enforcing termination of interprocedural analysis
    Stefan Schulze Frielinghaus
    Helmut Seidl
    Ralf Vogler
    Formal Methods in System Design, 2018, 53 : 313 - 338
  • [46] Enforcing Termination of Interprocedural Analysis
    Frielinghaus, Stefan Schulze
    Seidl, Helmut
    Vogler, Ralf
    STATIC ANALYSIS, (SAS 2016), 2016, 9837 : 447 - 468
  • [47] Enforcing termination of interprocedural analysis
    Frielinghaus, Stefan Schulze
    Seidl, Helmut
    Vogler, Ralf
    FORMAL METHODS IN SYSTEM DESIGN, 2018, 53 (02) : 313 - 338
  • [48] Interprocedural pointer alias analysis
    Hind, M
    Burke, M
    Carini, P
    Choi, JD
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1999, 21 (04): : 848 - 894
  • [49] Interprocedural Analysis of Asynchronous Programs
    Jhala, Ranjit
    Majumdar, Rupak
    CONFERENCE RECORD OF POPL 2007: THE 34TH ACM SIGPLAN SIGACT SYMPOSIUM ON PRINCIPLES OF PROGAMMING LANGUAGES, 2007, : 339 - 350
  • [50] Interprocedural analysis of asynchronous programs
    Jhala, Ranjit
    Majumdar, Rupak
    ACM SIGPLAN NOTICES, 2007, 42 (01) : 339 - 350