A parallel algorithm for static program slicing

DOI10.1016/0020-0190(95)00170-0MaRDI QIDQ672833zbMATH OpenOpenAlexWikidataFDO

Authors Sebastian Danicic, Mark Harman, Yoga Sivagurunathan

Publication date 28 February 1997

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0190(95)00170-0

zbMATH Keywords

Parallel algorithmsProgram simplificationSlicing

Mathematics Subject Classification ID

Distributed algorithms (68W15)

Recommendations

• Program Slicing
• Reconstructing sequential behavior from parallel behavior projections
• Dynamic program slicing
• Static and dynamic slicing of constraint logic programs
• Independent and-parallelization of logic programs using static slicing

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3592938 (Why is no real title available?)
• A parallel algorithm for static program slicing
• Dynamic program slicing
• Program Slicing

Cited in

(11)

• An overview of slicing techniques for object-oriented programs
• Efficient comparison of program slices
• A parallel algorithm for static program slicing
• Inter-procedural static slicing using advanced caching algorithm
• On optimal slicing of parallel programs
• Approach of concurrent object-oriented program slicing based on LTL property
• scientific article; zbMATH DE number 148937 (Why is no real title available?)
• Equivalence of conservative, free, linear program schemas is decidable
• Slicing programs in the presence of errors
• Program Slicing
• On the relationship between model-based debugging and program slicing

This page was built for publication: A parallel algorithm for static program slicing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q672833)