Subject
General Computer Science,Theoretical Computer Science
Reference28 articles.
1. Certification of programs for secure information flow;Denning;Commun. ACM,1977
2. Program slicing;Weiser,1981
3. The program dependence graph in a software development environment;Ottenstein,1984
4. The program dependence graph and its use in optimization;Ferrante;ACM Trans. Program. Lang. Syst.,1987
5. A formal model of program dependences and its implications for software testing, debugging, and maintenance;Podgurski;IEEE Trans. Softw. Eng.,1990