A non-standard semantics for program slicing and dependence analysis

DOI10.1016/J.JLAP.2007.02.010MaRDI QIDQ997995zbMATH OpenOpenAlexWikidataFDO

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

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

zbMATH Keywords

program slicingnon-standard semantics

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 3793435 (Why is no real title available?)
• scientific article; zbMATH DE number 3550181 (Why is no real title available?)
• scientific article; zbMATH DE number 1032897 (Why is no real title available?)
• Non-standard semantics for program slicing
• Program Slicing
• The program dependence graph and its use in optimization
• Transfinite reductions in orthogonal term rewriting systems

Cited in

(5)

• scientific article; zbMATH DE number 3881854 (Why is no real title available?)
• 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
• Abstract semantic dependency

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)