Information-flow and data-flow analysis of while-programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Program construction and verification
Program construction and verification
The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
Journal of Systems and Software
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
IEEE Transactions on Software Engineering
Dynamic slicing of computer programs
Journal of Systems and Software
Programming in Ada95
Flow Analysis of Computer Programs
Flow Analysis of Computer Programs
Slicing Programs with Arbitrary Control-flow
AADEBUG '93 Proceedings of the First International Workshop on Automated and Algorithmic Debugging
The program dependence graph in a software development environment
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Beyond ASIS: program data bases and tool-oriented queries
Proceedings of the 2001 annual ACM SIGAda international conference on Ada
Dynamic analysis of Ada programs for comprehension and quality measurement
Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference
Hi-index | 0.00 |