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

1269 Program slicing – M Weiser - 1984
825 The program dependence graph and its use in optimization – Jeanne Ferrante, Karl J. Ottenstein, Joe D. Warren - 1987
55 Program specialization via program slicing – Thomas Reps, Todd Turnidge - 1996
632 A Survey of Program Slicing Techniques – F. Tip - 1995
18 Dynamic Slicing Based on Redex Trails – C Ochoa, J Silva, G Vidal - 2004
78 Higher-order narrowing with definitional trees – Michael Hanus, Christian Prehofer - 1996
125 TOY: A multiparadigm declarative system – F López-Fraguas, J Sánchez-Hernández - 1992
144 A unified computation model for functional and logic programming – Michael Hanus - 1997
449 JFlow: Practical Mostly-Static Information Flow Control – Andrew C. Myers - 1999
7 Forward Slicing of Multi-Paradigm Declarative Programs Based on Partial Evaluation – Germán Vidal - 2003
159 Program Slices: Formal, Psychological, and Practical Investigations of an Automatic Program Abstraction Method – M Weiser - 1979
20 A Semantics for Tracing Declarative Multi-Paradigm Programs – B. Brassel, M. Hanus, F. Huch - 2004
54 Operational Semantics for Declarative Multi-Paradigm Languages – E. Albert, M. Hanus, F. Huch, J. Oliver, G. Vidal - 2005
226 Dependence graphs and compiler optimizations – D Kuck, R Kuhn, B Leasure, D Padua, M Wolfe - 1981
24 Annotated XML: Queries and Provenance – J. Nathan Foster , Todd J. Green, Val Tannen - 2008
41 On the expressiveness of implicit provenance in query and update languages – Peter Buneman, James Cheney, Stijn Vansummeren - 2007
305 Why and Where: A Characterization of Data Provenance – Peter Buneman, Sanjeev Khanna, Wang-chiew Tan - 2001
122 Lineage retrieval for scientific data processing: a survey – Rajendra Bose, James Frew - 2005
126 Provenance semirings – T J Green, G Karvounarakis, V Tannen