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

DOI10.1093/LOGCOM/9.6.835zbMath0943.68015OpenAlexW2090872537MaRDI QIDQ4943502

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)

Related Items (1)

Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL

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