Finding program slices for recursive procedures

This publication has 12 references indexed in Scilit:

• The influence of language semantics on program slices
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Comments on Program Slicing
  IEEE Transactions on Software Engineering, 1987
• The program dependence graph and its use in optimization
  ACM Transactions on Programming Languages and Systems, 1987
• Algebraic Approaches to Program Semantics
  Published by Springer Nature ,1986
• Information-flow and data-flow analysis of while-programs
  ACM Transactions on Programming Languages and Systems, 1985
• Design of Analyzers for Selective Program Analysis
  IEEE Transactions on Software Engineering, 1981
• An order-algebraic definition of knuthian semantics
  Theory of Computing Systems, 1979
• The method of attributes for data flow analysis
  Acta Informatica, 1978
• Semantics of context-free languages: Correction
  Theory of Computing Systems, 1971
• Semantics of context-free languages
  Theory of Computing Systems, 1968