共 50 条
- [1] Program slicing via FermaT transformations [J]. 26TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, PROCEEDINGS, 2002, : 357 - 362
- [2] Localizing Program Errors via Slicing and Reasoning [J]. 11TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 2008, : 187 - 196
- [3] Refactoring Interprocedural Dynamic Slicing for Handling Pointers [J]. INFORMATION PROCESSING AND MANAGEMENT, 2010, 70 : 613 - 616
- [4] Accuracy Improvement for Neural Program Synthesis via Attention Mechanism and Program Slicing [J]. 2020 IEEE 44TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE (COMPSAC 2020), 2020, : 963 - 972
- [8] Automatic Refactoring of Legacy Fortran Code to the Array Slicing Notation [J]. PROCEEDINGS OF THE 2012 IEEE 18TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS 2012), 2012, : 698 - +
- [10] Synchronizing Model and Program Refactoring [J]. FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, 2011, 6527 : 96 - +