Publication | Closed Access
Granularity-Driven Dynamic Predicate Slicing Algorithms for Message Passing Systems
26
Citations
49
References
2003
Year
Programming Language TheoryEngineeringProgram AnalysisAutomated ReasoningFormal MethodsSoftware AnalysisComputer ScienceKnowledge CompilationFormal VerificationMessage Passing SystemsProgram Slicing
| Year | Citations | |
|---|---|---|
Page 1
Page 1