Linear-time subtransitive control flow analysis

This publication has 9 references indexed in Scilit:

• Interconvertbility of set constraints and context-free language reachability
  Published by Association for Computing Machinery (ACM) ,1997
• Interprocedural control flow analysis of first-order programs with tail-call optimization
  ACM Transactions on Programming Languages and Systems, 1997
• Safety Analysis versus Type Inference
  Information and Computation, 1995
• A type system equivalent to flow analysis
  Published by Association for Computing Machinery (ACM) ,1995
• Set-based analysis of ML programs
  Published by Association for Computing Machinery (ACM) ,1994
• Efficient analyses for realistic off-line partial evaluation
  Journal of Functional Programming, 1993
• Type inference with polymorphic recursion
  ACM Transactions on Programming Languages and Systems, 1993
• Control flow analysis in scheme
  Published by Association for Computing Machinery (ACM) ,1988
• Time and tape complexity of pushdown automaton languages
  Information and Control, 1968