A calculus of refinements for program derivations
Acta Informatica
Information Processing Letters
Dynamic slicing of computer programs
Journal of Systems and Software
The semantic approach to program slicing
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
The Science of Programming
Mathematical Theory of Program Correctness
Mathematical Theory of Program Correctness
Software Salvaging Based on Conditions
ICSM '94 Proceedings of the International Conference on Software Maintenance
Program Slicing Using Weakest Preconditions
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
A Survey of Program Slicing Techniques.
A Survey of Program Slicing Techniques.
Program Adaptation via Output-Constraint Specialization
Higher-Order and Symbolic Computation
A brief survey of program slicing
ACM SIGSOFT Software Engineering Notes
GamaSlicer: an online laboratory for program verification and analysis
Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
| Hi-index | 0.00 |