A Slicing Algorithm Suitable for Program Modification (Special Section on Discrete Mathematics and Its Applications)

スポンサーリンク

概要

• 論文の詳細を見る

• A program slice is a set of program statements that directly or indirectly contribute to the values assumed by a set of variables at some program execution point. A few slicing algorithms have proposed so far but none of them are considered from the viewpoint of program modification. In this paper, we define a variable dependence graph (VDG) and show a new slicing algorithm on VDG. We also compare the time complexity of the algorithm with that of other existing algorithms and discuss the suitableness of our algorithm for program modification. As the result of this, we argue our algorithm is suitable for embedding debugging systems.

• 社団法人電子情報通信学会の論文
• 1996-04-25

著者

• MIZUNO TADANORI

  Faculty of Informatics, Shizuoka University

• Mizuno Tadanori

  Shizuoka Univ.

• OHTA Tsuyoshi

  Faculty of Information, Shizuoka University

• WATANABE Takashi

  Faculty of Information, Shizuoka University

• Ohta Tsuyoshi

  Faculty Of Information Shizuoka University

• Mizuno Tadanori

  Shizuoka University

• Mizuno T

  Shizuoka University

• Mizuno Tadanori

  Faculty Of Informatics Shizuoka University

• Watanabe T

  Shizuoka University

• Munaka Tatsuji

  Mitsubishi Electric Corporation

• Watanabe T

  Laboratory Of Food Science Department Of Food Science And Technology Faculty Of Agriculture Kyushu U

• Watanabe Takashi

  Faculty Mechanical Engineering Nagoya University

関連論文

• 8B2 PROPOSED METHOD FOR RECOMMENDING GOODS USING A MATHEMATICAL PLANNING MODEL(Technical session 8B: Customer orientation)
• A test of fuzzy controller of cycle-to-cycle control for controlling three-joint movements of swing phase of FES gait
• User-Driven Encoding and Transmission for Multi-view Video in Successive Motion Model
• Effects of n-3 Polyunsaturated Fatty Acids and Lectins on Immunoglobulin Production by Spleen Lymphocytes of Sprague-Dawley Rats
• Free Bile Acids Inhibit IgE Production by Mouse Spleen Lymphocytes Stimulated by Lipopolysaccharide and Interleukins
• Collaboration Mechanism for Mobile IP-based Link Aggregation System(ネットワークサービス基礎)
• A Slicing Algorithm Suitable for Program Modification (Special Section on Discrete Mathematics and Its Applications)
• Protocol Verification Tool with Extended Petri Net and Horn Clause
• A Job Dependent Dispatching Scheme in a Heterogeneous Multiserver Network (Special Issue on Distributed Architecture for Next Generation Communication Networks)
• A Proposal of Monitering and Testing for Distributed Object Oriented Systems
• Performance Analysis of Optimized Link State Routing-based Localization(Wireless/Mobile Networks)
• On the performance of localization for dense irregular sensor networks (情報学ワークショップ2006(WiNF 2006)優秀論文)
• A Reliable Multicast Mechanism for Location Dependent Data in DSRC-Based ITS Networks(Special Issue on Information System Technologies for ITS)
• Percolating Data Delivery on Cellular-Ad Hoc Integrated Network(Special Issue on Mobile Multimedia Communications)
• Data Transfer Evaluation of Nomadic Data Consistency Model for Large-Scale Mobile Systems (Special Issue on Internet Technology and Its Applications)
• Data Transfer Evaluation of Optimistic Data Consistency Model
• Evaluation of Positioning Accuracy for the Pedestrian Navigation System(Mobile Multimedia Communications)
• A Proposal of Network Protocol with Performance for Multimedia Communication System (Special Issue on Multimedia Computing and Communications)
• A Proposal of Network Protocol with Performance for Multimedia Communication System
• A Proposal for Service Differentiation by a Link Layer Protocol Based on SR ARQ and Its Evaluation(Network Protocols)
• Delay Analysis of the Selective-repeat ARQ Protocol with the Per-Flow Resequencing Scheme (特集:ブロードバンド・ユビキタス・ネットワークとその応用)
• A Dynamic Delayed ACK Control Scheme and Its Evaluation on MobileIP Networks(Special Issue on Mobile Multimedia Communications)
• Effect of Vegetable Extracts on Immunoglobulin Production by Mesenteric Lymph Node Lymphocytes of Sprague-Dawley Rats
• A Multicast Routing Algorithm Based on Mobile Multicast Agents in Ad-Hoc Networks (Special Issue on Internet Technology)
• Geographic Color Variation in Two Geotrupes Dung Beetles : A Further Study(General Entomology)
• A Quantitative Analysis of Geographic Color Variation in Two Geotrupes Dung Beetles
• User Authentication in Mobile Computing Environment (Special Section on Mutli-dimensional Mobile Information Network)
• Evaluation of Flexible Security Models on a Mobile Agent Platform
• Database Cache Management Algorithms of a Timing Constrained Database System in Mobile Computing Environments (Special Section on Multi-dimensional Mobile Information Network)
• Analysis of partial data aggregation in wireless sensor networks (ネットワークシステム)
• Performance Analysis of a Directional MAC Protocol for Location Information Staleness in MANETs(Selected Papers from ICMU 2005(Second International Conference on Mobile Computing and Ubiquitous Networking))
• Improved Contextual Classifiers of Multispectral Image Data
• Preliminary Tests of a Practical Fuzzy FES Controller Based on Cycle-to-Cycle Control in the Knee Flexion and Extension Control
• A Feasibility Study of Fuzzy FES Controller Based on Cycle-to-Cycle Control : An Experimental Test of Knee Extension Control
• Integrated protocol for optimized link state routing and localization: OLSR-L
• A TCP-Aware Link Layer Protocol Based on Selective-repeat ARQ with No Resequencing (特集:ブロードバンド・ユビキタス・ネットワークとその応用)
• A Numerical Method of Free Jet from a Cross-flow Turbine Nozzle
• Fundamental Investigation of the Flow in an Agitated Thin Film Evaporator : 1st Report, The Flow in a Horizontal Agitated Thin Film Evaporator
• Fundamental Investigation of Flow in an Agitated Thin Film Evaporator : 3rd Report, Theoretical Analysis
• Fundamental Investigation of Flow in an Agitated Thin Film Evaporator : 2nd Report, Effect of Viscosity
• LASR : A Load-Aware Source Routing Protocol in a High Load Ad-hoc Network and Its Evaluation, Vol.J86-B,No.3, pp.322-332
• An Automatic Generation of FORTRAN Code for the Finite Difference Method
• Similar Solutions for Boundary Layers on Bodies of Revolution in Swirling Axial Streams
• Performance Analysis of Optimized Link State Routing-based Localization
• Performance Analysis of Optimized Link State Routing-based Localization
• B-20-6 Full Duplex Media Access Control by Monitoring Traffic on Adjacent Nodes for Wireless Multi-hop Networks
• Delay Analysis of the Selective-repeat ARQ Protocol with the Per-Flow Resequencing Scheme
• Collaboration Mechanism for Mobile IP-based Link Aggregation System
• Collaboration Mechanism for Mobile IP-based Link Aggregation System
• A TCP-Aware Link Layer Protocol Based on Selective-repeat ARQ with No Resequencing
• A Proposal for Service Differentiation by a Link Layer Protocol Based on SR ARQ and Its Evaluation
• A Proposal for Service Differentiation by a Link Layer Protocol Based on SR ARQ and Its Evaluation

もっと見る 閉じる

スポンサーリンク