Program slicing
Sign in to saveset of software engineering methods
Connections
operational semantics
Entity
dynamic program analysis
Entity
program analysis
Entity
Isabelle
Entity
International Standard Book Number
Entity
Q15777
Entity
computer programming
Entity
digital object identifier
Entity
International Standard Serial Number
Entity
data structure
Entity
Turing machine
Entity
software testing
Entity
lambda calculus
Entity
finite-state machine
Entity
Association for Computing Machinery
Entity
Q845566
Entity
Q22908627
Entity
type system
Entity
invariant
Entity
software maintenance
Entity