Understanding program slices

DOI10.14232/ACTACYB.20.4.2012.2MaRDI QIDQ4913442zbMATH OpenOpenAlexFDO

Authors Ákos Hajnal, István Forgács

Publication date 5 April 2013

Published in Acta Cybernetica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.14232/actacyb.20.4.2012.2

zbMATH Keywords

reasoningdata flow analysisstatic program slicing

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Program Slicing
• scientific article; zbMATH DE number 2087514
• Dynamic program slicing
• Static and dynamic slicing of constraint logic programs
• A formalisation of the relationship between forms of program slicing

Cited in

(15)

• Static and dynamic slicing of constraint logic programs
• A vocabulary of program slicing-based techniques
• A formalisation of the relationship between forms of program slicing
• A Program Slicing Based Method to Filter XML/DTD Documents
• Issues in slicing PROMELA and its applications to model checking, protocol understanding, and simulation
• Combining dynamic and static slicing for analysing assembler
• On the relationship between model-based debugging and program slicing
• Integrating different versions of programs with backward and forward slices
• Combining preprocessor slicing with C/C++ language slicing
• On slicing of programs with input statements
• Database slicing on relational databases
• Combining slicing and constraint solving for validation of measurement software
• Program Slicing
• Dynamic program slicing
• Context-sensitive meta-constraint systems for explainable program analysis

This page was built for publication: Understanding program slices

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