Scalable context-sensitive flow analysis using instantiation constraints

This publication has 15 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Interconvertbility of set constraints and context-free language reachability
  ACM SIGPLAN Notices, 1997
• Linear-time subtransitive control flow analysis
  ACM SIGPLAN Notices, 1997
• Lackwit
  Published by Association for Computing Machinery (ACM) ,1997
• Points-to analysis in almost linear time
  Published by Association for Computing Machinery (ACM) ,1996
• Efficient context-sensitive pointer analysis for C programs
  ACM SIGPLAN Notices, 1995
• Precise interprocedural dataflow analysis via graph reachability
  Published by Association for Computing Machinery (ACM) ,1995
• An analysis of ML typability
  Journal of the ACM, 1994
• Type inference with polymorphic recursion
  ACM Transactions on Programming Languages and Systems, 1993
• The Undecidability of the Semi-unification Problem
  Information and Computation, 1993