Propagating differences: An efficient new fixpoint algorithm for distributive constraint systems

This publication has 13 references indexed in Scilit:

• On the cubic bottleneck in subtyping and flow analysis
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Demand interprocedural dataflow analysis
  Published by Association for Computing Machinery (ACM) ,1995
• A type system equivalent to flow analysis
  ACM Transactions on Programming Languages and Systems, 1995
• Closure analysis in constraint form
  ACM Transactions on Programming Languages and Systems, 1995
• Set-based analysis of ML programs
  ACM SIGPLAN Lisp Pointers, 1994
• Experimental evaluation of a generic abstract interpretation algorithm for PROLOG
  ACM Transactions on Programming Languages and Systems, 1994
• Compile-time derivation of variable dependency using abstract interpretation
  The Journal of Logic Programming, 1992
• Performance Evaluation of Data Intensive Logic Programs
  Published by Elsevier ,1988
• A generalization of the differential approach to recursive query evaluation
  The Journal of Logic Programming, 1987
• An amateur's introduction to recursive query processing strategies
  Published by Association for Computing Machinery (ACM) ,1986