On slicing of programs with input statements

DOI10.1007/978-3-642-39718-9_17MaRDI QIDQ2851912zbMATH OpenOpenAlexFDO

Authors Härmel Nestra

Publication date 4 October 2013

Published in Theoretical Aspects of Computing – ICTAC 2013 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-39718-9_17

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Program Slicing
• Slicing programs in the presence of errors
• scientific article; zbMATH DE number 2087514
• Understanding program slices
• Dynamic program slicing

Cited in

(2)

• A theory of slicing for probabilistic control flow graphs
• scientific article; zbMATH DE number 2087514 (Why is no real title available?)

This page was built for publication: On slicing of programs with input statements

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