A novel formal approach to program slicing

DOI10.1007/s11432-007-0061-2zbMath1132.68345OpenAlexW2157370465MaRDI QIDQ2463836

Yingzhou Zhang

Publication date: 6 December 2007

Published in: Science in China. Series F (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11432-007-0061-2

zbMATH Keywords

formal semanticsprogram slicingmonadsmodularityslice monad transformer

Mathematics Subject Classification ID

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

Related Items (1)

Black-box testing based on colorful taint analysis

Cites Work

• Notions of computation and monads
• Comprehending monads
• Unnamed Item
• Unnamed Item

This page was built for publication: A novel formal approach to program slicing