A non-standard semantics for program slicing and dependence analysis

DOI10.1016/J.JLAP.2007.02.010zbMATH Open1119.68110OpenAlexW2047854842WikidataQ59610120 ScholiaQ59610120MaRDI QIDQ997995FDOQ997995

J. D. Howroyd, Mark Harman, Sebastian Danicic, Lahcen Ouarbya

Publication date: 10 August 2007

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2007.02.010

Recommendations

• A trajectory-based strict semantics for program slicing
• Non-standard semantics for program slicing
• Abstract program slicing: an abstract interpretation-based approach to program slicing
• Slicing programs in the presence of errors
• Dynamic slicing: a generic analysis based on a natural semantics format

zbMATH Keywords

program slicingnon-standard semantics

Mathematics Subject Classification ID

Theory of software (68N99) Semantics in the theory of computing (68Q55)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Program Slicing
• The program dependence graph and its use in optimization
• Transfinite reductions in orthogonal term rewriting systems
• Non-standard semantics for program slicing

Cited In (4)

• Title not available (Why is that?)
• Non-standard semantics for program slicing
• A unifying theory of control dependence and its application to arbitrary program structures
• A trajectory-based strict semantics for program slicing

This page was built for publication: A non-standard semantics for program slicing and dependence analysis

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