Bebop

This publication has 10 references indexed in Scilit:

• Automatic predicate abstraction of C programs
  Published by Association for Computing Machinery (ACM) ,2001
• Unification-based pointer analysis with directional assignments
  Published by Association for Computing Machinery (ACM) ,2000
• Parametric shape analysis via 3-valued logic
  Published by Association for Computing Machinery (ACM) ,1999
• Approximate Symbolic Model Checking Using Overlapping Projections
  Published by Defense Technical Information Center (DTIC) ,1999
• Improving data-flow analysis with path profiles
  Published by Association for Computing Machinery (ACM) ,1998
• Path-sensitive value-flow analysis
  Published by Association for Computing Machinery (ACM) ,1998
• Precise interprocedural dataflow analysis via graph reachability
  Published by Association for Computing Machinery (ACM) ,1995
• Sharlit---a tool for building optimizers
  Published by Association for Computing Machinery (ACM) ,1992
• A framework for construction and evaluation of high-level specifications for program analysis techniques
  Published by Association for Computing Machinery (ACM) ,1989
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986