Dynamic Slicing In Higher-Order Programming Languages (1997)

by Sandip K. Biswas , Carl A. Gunter , Insup Lee
Citations:10 - 0 self

Documents Related by Co-Citation

1371 Program Slicing – Mark Weiser - 1984
864 The program dependence graph and its use in optimization – Jeanne Ferrante, Karl J. Ottenstein, Joe D. Warren - 1987
685 A Survey of Program Slicing Techniques – F. Tip - 1995
486 JFlow: Practical Mostly-Static Information Flow Control – Andrew C. Myers - 1999
55 Program specialization via program slicing – Thomas Reps, Todd Turnidge - 1996
585 A Lattice Model of Secure Information Flow – Dorothy E. Denning - 1976
766 Notions of Computation and Monads – Eugenio Moggi - 1991
1612 Foundations of Databases – S Abiteboul, R Hull, V Vianu - 1995
575 Perspectives on Program Analysis – Flemming Nielson - 1996