Generic techniques for source-level debugging and dynamic program slicing

This publication has 10 references indexed in Scilit:

• Animators for generated programming environments
  Published by Springer Nature ,2005
• Natural semantics
  Published by Springer Nature ,2005
• Parametric program slicing
  Published by Association for Computing Machinery (ACM) ,1995
• Dynamic dependence in term rewriting systems and its application to program slicing
  Published by Springer Nature ,1994
• Type-checking Revisited: Modular Error-handling
  Published by Springer Nature ,1994
• Origin tracking
  Journal of Symbolic Computation, 1993
• A meta-environment for generating programming environments
  ACM Transactions on Software Engineering and Methodology, 1993
• Dynamic slicing of computer programs
  Journal of Systems and Software, 1990
• A generator for language-specific debugging systems
  Published by Association for Computing Machinery (ACM) ,1987
• The PSG system: from formal language definitions to interactive programming environments
  ACM Transactions on Programming Languages and Systems, 1986