The following pages link to Program Slicing (Q3345745):
Displaying 16 items.
- The MEB and CEB Static Analysis for CSP Specifications (Q3617433) (← links)
- Non-discriminating Arguments and Their Uses (Q4649724) (← links)
- On the HDL active trace – a new concept of HDL debugging (Q4665531) (← links)
- (Q4738315) (← links)
- (Q4778695) (← links)
- A Case Study in Abstract Interpretation Based Program Transformation (Q4917048) (← links)
- Dynamic Slicing Techniques for Petri Nets (Q4982092) (← links)
- A backward slicing algorithm for Prolog (Q5030202) (← links)
- Combining slicing and constraint solving for validation of measurement software (Q5030203) (← links)
- Stratified Static Analysis Based on Variable Dependencies (Q5170182) (← links)
- Abstract Program Slicing (Q5278199) (← links)
- An optimal algorithm for the construction of the system dependence graph (Q5938653) (← links)
- On the relationship between model-based debugging and program slicing (Q5958541) (← links)
- Maximal and Minimal Dynamic Petri Net Slicing (Q6094513) (← links)
- Responsibility analysis by abstract interpretation (Q6536296) (← links)
- Abstract semantic dependency (Q6536297) (← links)