Fine slicing: theory and applications for computation extraction

Authors:
Aharon Abadi;Ran Ettinger;Yishai A. Feldman
Affiliations:
IBM Research, Haifa, Israel;IBM Research, Haifa, Israel;IBM Research, Haifa, Israel
Venue:
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Year:
2012

Citing 12
Cited 2

Interprocedural slicing using dependence graphs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficiently computing static single assignment form and the control dependence graph

ACM Transactions on Programming Languages and Systems (TOPLAS)
A new model of program dependences for reverse engineering

SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Semantics-preserving procedure extraction

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Automated method-extraction refactoring by using block-based slicing

SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
Effective, Automatic Procedure Extraction

IWPC '03 Proceedings of the 11th IEEE International Workshop on Program Comprehension
Automated duplicated code detection and procedure extraction

Automated duplicated code detection and procedure extraction
Thin slicing

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Improving slice accuracy by compression of data and control flow paths

Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Re-approaching the refactoring Rubicon

Proceedings of the 2nd Workshop on Refactoring Tools
Code-motion for API migration: fixing SQL injection vulnerabilities in Java

Proceedings of the 4th Workshop on Refactoring Tools
Identification of extract method refactoring opportunities for the decomposition of methods

Journal of Systems and Software

Where is the business logic?

Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Detecting refactored clones

ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Software evolution often requires the untangling of code. Particularly challenging and error-prone is the task of separating computations that are intertwined in a loop. The lack of automatic tools for such transformations complicates maintenance and hinders reuse. We present a theory and implementation of fine slicing, a method for computing executable program slices that can be finely tuned, and can be used to extract non-contiguous pieces of code and untangle loops. Unlike previous solutions, it supports temporal abstraction of series of values computed in a loop in the form of newly-created sequences. Fine slicing has proved useful in capturing meaningful subprograms and has enabled the creation of an advanced computation-extraction algorithm and its implementation in a prototype refactoring tool for Cobol and Java.