Dynamic Slicing In Higher-Order Programming Languages (1997)

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

Active Bibliography

18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
1 Abstract Interpretation and Attribute Grammars – Mads Rosendahl, Clare Hall - 1992
26 Understanding Function Behaviors through Program Slicing – Andrea De Lucia, Anna Rita Fasolino, Malcolm Munro - 1996
632 A Survey of Program Slicing Techniques – F. Tip - 1995
2 Semantics-based Reverse Engineering – Peter Baumann, Jürg Fässler, Markus Kiser, Zafer Öztürk, Lutz Richter - 1994
53 Dynamic Slicing in the Presence of Unconstrained Pointers – Hiralal Agrawal, Richard A. DeMillo, Eugene H. Spafford - 1991
7 A Systematic Study of Functional Language Implementations – Rémi Douence, Pascal Fradet - 1998
Draft submitted to ICFP 2013 Deriving the Full-Reducing Krivine Machine from the Small-Step Operational Semantics of Normal Order ∗ – Álvaro García-pérez, Pablo Nogueira, Juan José Moreno-navarro
4 A Parallel Functional Language Compiler for Message-Passing Multicomputers – Sahalu B. Junaidu - 1998
9 A Calculational Approach to Control-flow Analysis by Abstract Interpretation – Jan Midtgaard, Thomas Jensen
76 Lightweight Closure Conversion – Paul A. Steckler, Mitchell Wand - 1996
40 Program Slicing: Methods and Applications – Andrea De Lucia - 2001
14 Abstract Machines for Dynamic Computation – Christopher David Walton - 2001
1 A Parallel Categorical Abstract Machine for Bulk Synchronous Parallel ML – Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski
Implementing Operational Semantics (Preliminary Report) – Roy L. Crole - 1997
5 Efficient Debugging with Slicing and Backtracking – Serc-Tr- Hiralal Agrawal, Hiralal Agrawal, Richard A. Demillo, Eugene H. Spafford - 1990
5 System Dependence Graphs Based on Parse Trees and their Use in Software Maintenance – Panos E. Livadas, Stephen Croll - 1994
4 A Hybrid Program Slicing Framework – Juergen Rilling, Bhaskar Karanth - 2001
7 Empirical Study of Optimization Techniques for Massive Slicing – David Binkley, Mark Harman, Jens Krinke - 2007