A toolkit for constructing type- and constraint-based program analyses

This publication has 24 references indexed in Scilit:

• A flexible architecture for building data flow analyzers
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Partial online cycle elimination in inclusion constraint graphs
  Published by Association for Computing Machinery (ACM) ,1998
• Code reuse in an optimizing compiler
  Published by Association for Computing Machinery (ACM) ,1996
• Catching bugs in the web of program invariants
  Published by Association for Computing Machinery (ACM) ,1996
• Sound polymorphic type inference for objects
  Published by Association for Computing Machinery (ACM) ,1995
• Generation of efficient interprocedural analyzers with PAG
  Published by Springer Nature ,1995
• Set-based analysis of ML programs
  Published by Association for Computing Machinery (ACM) ,1994
• Soft typing with conditional types
  Published by Association for Computing Machinery (ACM) ,1994
• Type inclusion constraints and type inference
  Published by Association for Computing Machinery (ACM) ,1993
• Global common subexpression elimination
  ACM SIGPLAN Notices, 1970