Dynamic slicing: a generic analysis based on a natural semantics format

DOI10.1093/LOGCOM/9.6.835MaRDI QIDQ4943502zbMATH OpenOpenAlexFDO

Authors Valérie Gouranton, Daniel Le Métayer

Publication date 16 March 2000

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/053a74823ddaf045b6ff287b3744d89831f63f17

zbMATH Keywords

slicing analyses

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• A generic program slicing technique based on language definitions
• Static and dynamic slicing of constraint logic programs
• Dynamic program slicing
• Program Slicing
• Abstract program slicing: an abstract interpretation-based approach to program slicing

Cited in

(5)

• Combining dynamic and static slicing for analysing assembler
• A generic program slicing technique based on language definitions
• Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL
• Memory policy analysis for semantics specifications in Maude
• A non-standard semantics for program slicing and dependence analysis

This page was built for publication: Dynamic slicing: a generic analysis based on a natural semantics format

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