Widening Operators for Powerset Domains

This publication has 17 references indexed in Scilit:

• Widening Operators for Powerset Domains
  Published by Springer Nature ,2004
• Combinations of abstract domains for logic programming: open product and generic pattern construction
  Science of Computer Programming, 2000
• The powerset operator on abstract interpretations
  Theoretical Computer Science, 1999
• Model-checking concurrent systems with unbounded integer variables
  ACM Transactions on Programming Languages and Systems, 1999
• A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages
  Science of Computer Programming, 1998
• Subsumption and indexing in constraint query languages with linear arithmetic constraints
  Annals of Mathematics and Artificial Intelligence, 1993
• A practical algorithm for exact array dependence analysis
  Communications of the ACM, 1992
• Abstract Interpretation Frameworks
  Journal of Logic and Computation, 1992
• Abstract interpretation and application to logic programs
  The Journal of Logic Programming, 1992
• Proving termination with multiset orderings
  Communications of the ACM, 1979