共 50 条
- [41] Improving Program Comprehension by Enhancing Program Constructs: An Analysis of the Umple language ICPC: 2009 IEEE 17TH INTERNATIONAL CONFERENCE ON PROGRAM COMPREHENSION, 2009, : 311 - 312
- [44] Interprocedural parallelization analysis in SUIF ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2005, 27 (04): : 662 - 731
- [45] Enforcing termination of interprocedural analysis Formal Methods in System Design, 2018, 53 : 313 - 338
- [46] Enforcing Termination of Interprocedural Analysis STATIC ANALYSIS, (SAS 2016), 2016, 9837 : 447 - 468
- [48] Interprocedural pointer alias analysis ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1999, 21 (04): : 848 - 894
- [49] Interprocedural Analysis of Asynchronous Programs CONFERENCE RECORD OF POPL 2007: THE 34TH ACM SIGPLAN SIGACT SYMPOSIUM ON PRINCIPLES OF PROGAMMING LANGUAGES, 2007, : 339 - 350