Consit

MaRDI QIDQ20957swMATHFDO

Official website http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=883049

Cited in

(9)

• Programming Languages and Systems
• A formal relationship between program slicing and partial evaluation
• Theoretical foundations of dynamic program slicing
• Combining dynamic and static slicing for analysing assembler
• CSSV
• CodeSurfer
• FermaT
• Bogart
• Static Analysis

This page was built for software: Consit