Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Acta Scientiarium Naturalium Universitatis Jilinensis》 2003-04
Add to Favorite Get Latest Update

Control-Flow-Based Static Slicing Algorithm of Threaded Programs

ZHANG Jing, JIN Cheng-zhi(College of Computer Science and Technology, Jilin University, Changchun 130012, China)  
The present paper deals with a new static slicing algorithm of threaded program based on the program's control-flow information. The main idea of the algorithm is to retain the control-flow information while the threaded program dependency graph is constructed, with which the threaded realized paths can be identified, by doing this we can improve the slice's precision and slicing's efficiency. An example program and its slice are provided in the end.
【Fund】: 国家自然科学基金 (批准号 :60 0 73 0 41)
【CateGory Index】: TP311.1
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
【References】
Chinese Journal Full-text Database 4 Hits
1 QI Xiao-fang~1,XU Bao-wen~1,2,ZHOU Xiao-yu~1,2(1.College of Computer Science and Engineering,Southeast University,Nanjing,Jiangsu 210096,China;2.Jiangsu Institute of Software Quality,Nanjing,Jiangsu 210096,China);An Approach to Analyzing Dependence of Concurrent Programs Based on Program Reachability Graphs[J];Acta Electronica Sinica;2007-02
2 HUANG Yi,LIU Lei(College of Computer Science and Technology,Jilin University,Changchun 130012,China);An Alias Analysis Method by Combining Partial Evaluation in Parallel[J];Journal of Jilin University(Science Edition);2006-04
3 LI Xiao-guo,ZHANG Ying-zhou,ZHANG Wei-feng,ZHOU Guo-qiang College of Computer,Nanjing University of Posts and Telecommunications,Nanjing 210003,China;An Overview of Methods for Concurrent Program Slicing[J];Journal of Nanjing University of Posts and Telecommunications(Natural Science);2008-06
4 QI Xiao-Fang;XU Xiao-Jin;JIANG Zhen-Liang;WANG Peng;School of Computer Science and Engineering,Southeast University;Key Laboratory of Computer Network and Information Integration in Southeast University,Ministry of Education;IBM China System & Technology Laboratory;;Slicing Concurrent Programs Based on Program Reachability Graphs with Partial-Order Reduction[J];Chinese Journal of Computers;2014-03
【Co-references】
Chinese Journal Full-text Database 10 Hits
1 ZHANG Peng1,2,WANG Guo-Yin1,TAO Chun-Mei1,LUO Hai2(1.College of Computer Science and Technology,Chongqing University of Posts and Telecommunications,Chongqing 400065,P.R.China;2.Department of Academic Affairs,Chongqing University of Posts and Telecommunications Chongqing 400065,P.R.China);Approach to compute program similarity based on rough ontology[J];Journal of Chongqing University of Posts and Telecommunications(Natural Science Edition);2008-06
2 GONG Hui-ying1,ZHANG Xiao-dong2,LIU lei1 (1.Department of Computer Science,Jilin University,Changchun 130023,China ; Department of Electronic Engineering, Dalian University, Dalian 116622,China);Program Slicing[J];Journal of Dalian Nationalities University;2001-03
3 DENG Chen-xi (Department of Information Technology, Hunan Environment-Biological Polytechnic, Hengyang 421005, China);The Research about Managing Syntax Error in Auto-Checking System[J];Computer Knowledge and Technology;2009-05
4 QI Xiao-fang~1,XU Bao-wen~1,2,ZHOU Xiao-yu~1,2(1.College of Computer Science and Engineering,Southeast University,Nanjing,Jiangsu 210096,China;2.Jiangsu Institute of Software Quality,Nanjing,Jiangsu 210096,China);An Approach to Analyzing Dependence of Concurrent Programs Based on Program Reachability Graphs[J];Acta Electronica Sinica;2007-02
5 LI Xin1,LI Li-ping1,CHAN Gge-xin2(1.School of Information Engineering,Liaoning Institute of Technology,Jinzhou 121001,China;2.College of Commerce,Bohai University,Jinzhou 121000,China);Dynamic generatin of documents based on XML[J];Journal of Liaoning Technical University;2006-01
6 ZHANG Hui-fen(Commanding Department,Hengshui Branch of Fire Fighting and Prevention,Hengshui,Hebei 053000,China);The Theoretical Analysis and Application of JavaScript[J];Journal of Hengshui University;2006-01
7 CHEN Zhen Qiang ① and XU Bao Wen ①② ①(Department of Computer Science and Engineering, Southeast University, Nanjing 210096) ②(State Key Laboratory of Software Engineering, Wuhan University, Wuhan 430072);AN APPROACH TO ANALYZING DEPENDENCE OF CONCURRENT PROGRAMS[J];Journal of Computer Research and Development;2002-02
8 Ma Peijun,Wang Tiantian,and Su Xiaohong(Department of Computer Science and Technology,Harbin Institute of Technology,Harbin 150001);Automatic Grading of Student Programs Based on Program Understanding[J];Journal of Computer Research and Development;2009-07
9 QIN Zhen Song (Department of Computer Science and Engineering, Southeast University,Nanjing\ 210096) FAN Bo Nan (Department of Computer Science, Nanjing University of Science and Technology,Nanjing\ 210094);AN AUTO COMPILER OF PROGRAMMING LANGUAGES[J];JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT;1997-03
10 LIU Lei\ YE Xiao Yu (Department of Computer Science, Jilin University, Changchun\ 130023);THE TECHNIQUE OF INTERPROCEDURE DATA FLOW ANALYSIS[J];JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT;1997-04
【Secondary References】
Chinese Journal Full-text Database 10 Hits
1 Qi Xiaofang1 Zhou Xiaoyu1 Xu Xiaojin1 Zhang Yingzhou2(1School of Computer Science and Engineering,Southeast University,Nanjing 210096,China)(2School of Computer Science and Engineering,Nanjing University of Posts and Telecommunications,Nanjing 210003,China);A combinational program slicing approach based on call stacks[J];Journal of Southeast University(Natural Science Edition);2011-06
2 WANG Tian-tian,SU Xiao-hong,MA Pei-jun (School of Computer Science and Technology,Harbin Institute of Technology,Harbin,Heilongjiang 150001,China);Research on Pointer Analysis Algorithm for Program Standardization[J];Acta Electronica Sinica;2009-05
3 ZHANG Ying-zhou1,2,3,4,FU Wei1(1.College of Computer,Nanjing University of Posts and Telecommunications,Nanjing,Jiangsu 210003,China;2.Guangxi Key Laboratory of TrustedSoftware,Guilin University of Electronic Technology,Guilin,Guangxi 541004,China;3.Jiangsu High Technology Research Key Laboratory for Wireless SensorNetworks,Nanjing,Jiangsu 210003,China;4.Key Lab of Broadband Wireless Communication and Sensor Network Technology,Nanjing,Jiangsu 210003,China);An Approach of Monadic Slicing for Interprocedural Programs[J];Acta Electronica Sinica;2013-08
4 Ding Bin Zhang Zhixiang(Department of Computer Engineering,Naval University of Engineering,Wuhan 430033);Demand-Driven Alias Analysis for C[J];Computer & Digital Engineering;2011-02
5 SHEN Yu-jia1,HAN Song-feng2,DIAO Hai-nan1,2,LIU Yong1(1.College of Electronic & Information Engineering,Henan University of Science & Technology,Luoyang Henan 471003,China;2.CAMA(Luoyang)Electronics Co.,Ltd,Luoyang Henan 471003,China);Technology of domain variable identification based on data dependence graph[J];Application Research of Computers;2009-01
6 ZHAO Xiu-lan (School of Computer Science & Engineering,Changshu Institute of Technology,Changshu 215500,China);Design for Parallele Computation Components Based on Multi-core and Multi-threading[J];Computer and Modernization;2009-11
7 XU Xiaojing, QI Xiaofang School of Computer Science and Engineering, Southeast University, Nanjing 211189, China;A Prototype Tool for Slicing Concurrent Programs[J];Journal of Frontiers of Computer Science & Technology;2012-03
8 LI Xiao-guo,ZHANG Ying-zhou,ZHANG Wei-feng,ZHOU Guo-qiang College of Computer,Nanjing University of Posts and Telecommunications,Nanjing 210003,China;An Overview of Methods for Concurrent Program Slicing[J];Journal of Nanjing University of Posts and Telecommunications(Natural Science);2008-06
9 SONG Donghai;CHEN Erhu;Unit 88,No.92493 Troops of PLA;No.92515 Troops of PLA;;A Call-chain-based Static Data Race Detection Algorithm for Java Program[J];Ship Electronic Engineering;2013-12
10 QI Xiao-Fang;XU Xiao-Jin;JIANG Zhen-Liang;WANG Peng;School of Computer Science and Engineering,Southeast University;Key Laboratory of Computer Network and Information Integration in Southeast University,Ministry of Education;IBM China System & Technology Laboratory;;Slicing Concurrent Programs Based on Program Reachability Graphs with Partial-Order Reduction[J];Chinese Journal of Computers;2014-03
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved