Specialization Slicing
Abstract
This paper defines a new variant of program slicing, called specialization slicing , and presents an algorithm for the specialization-slicing problem that creates an optimal output slice. An algorithm for specialization slicing is polyvariant : for a given procedure р, the algorithm may create multiple specialized copies of р. In creating specialized procedures, the algorithm must decide for which patterns of formal parameters a given procedure should be specialized and which program elements should be included in each specialized procedure.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Jun 01, 2014
- Source ID
- 10.1145/2566620
Entities
People
- Min Aung
- Rich Joiner
- Susan Horwitz
- Thomas Reps
Organizations
- Air Force Research Laboratory
- Defense Advanced Research Projects Agency
- Division of Computing and Communication Foundations
- Office of Naval Research
- United States Army Research Laboratory
- University of Wisconsin–Madison