Computing amorphous program slices using dependence graphs
Proceedings of the 1999 ACM symposium on Applied computing
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Equivalence of conservative, free, linear program schemas is decidable
Theoretical Computer Science
Incremental Slicing Based on Data-Dependences Types
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Journal of Systems and Software
Syntax-Directed Amorphous Slicing
Automated Software Engineering
Granularity-Driven Dynamic Predicate Slicing Algorithms for Message Passing Systems
Automated Software Engineering
Guaranteed inconsistency avoidance during software evolution
Journal of Software Maintenance: Research and Practice
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modular Monadic Program Slicing
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
A brief survey of program slicing
ACM SIGSOFT Software Engineering Notes
The Efficiency of Critical Slicing in Fault Localization
Software Quality Control
A formalisation of the relationship between forms of program slicing
Science of Computer Programming - Special issue on source code analysis and manipulation (SCAM 2005)
Theoretical foundations of dynamic program slicing
Theoretical Computer Science
Slicing as a program transformation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Forward slicing of functional logic programs by partial evaluation
Theory and Practice of Logic Programming
Conditioned semantic slicing for abstraction; industrial experiment
Software—Practice & Experience
A trajectory-based strict semantics for program slicing
Theoretical Computer Science
Testing techniques in software engineering
Testing techniques in software engineering
Forward slicing by conjunctive partial deduction and argument filtering
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
A vocabulary of program slicing-based techniques
ACM Computing Surveys (CSUR)
State-based model slicing: A survey
ACM Computing Surveys (CSUR)
| Hi-index | 0.00 |
This paper introduces amorphous program slicing. Like traditional slicing, amorphous slicing simplifies a program while preserving a projection of its semantics. Unlike traditional slicing, amorphous slicing may make use of any simplifying transformation which preserves this semantic projection, thereby improving upon the simplification power of traditional slicing and consequently its applicability to program comprehension. The paper also introduces a theoretical framework of program projection. A projection is defined with respect to an equivalence relation on programs together with a simplicity measure (an ordering on programs). Having defined this framework, amorphous and traditional forms of static and conditioned slice are defined by instantiating the definition of a projection with different equivalence and ordering relations. The projection framework helps to contain the potential explosion in slicing paradigms and facilitates comparison across the boundaries of these paradigms.