Compiler construction: theory and practice (2nd ed.)
Compiler construction: theory and practice (2nd ed.)
A program data flow analysis procedure
Communications of the ACM
A lattice model of secure information flow
Communications of the ACM
Node listings applied to data flow analysis
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Information transmission in computational systems
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
A new approach to program testing
Proceedings of the international conference on Reliable software
Structured Analysis for Requirements Definition
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |