Jedd

This publication has 14 references indexed in Scilit:

• Symbolic pointer analysis revisited
  Published by Association for Computing Machinery (ACM) ,2004
• Cloning-based context-sensitive pointer alias analysis using binary decision diagrams
  Published by Association for Computing Machinery (ACM) ,2004
• Points-to analysis using BDDs
  Published by Association for Computing Machinery (ACM) ,2003
• Parametric shape analysis via 3-valued logic
  ACM Transactions on Programming Languages and Systems, 2002
• The project
  ACM Transactions on Internet Technology, 2002
• Chaff
  Published by Association for Computing Machinery (ACM) ,2001
• Zero-suppressed BDDs for set manipulation in combinatorial problems
  Published by Association for Computing Machinery (ACM) ,1993
• Symbolic Boolean manipulation with ordered binary-decision diagrams
  ACM Computing Surveys, 1992
• Programming in Prolog
  Published by Springer Nature ,1987
• A relational model of data for large shared data banks
  Communications of the ACM, 1970