Set constraints and set-based analysis

This publication has 17 references indexed in Scilit:

• An engine for logic program analysis
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Solving systems of set constraints
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Set constraints are the monadic class
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• 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
• A backwards analysis for compile-time garbage collection
  Published by Springer Nature ,1990
• A finite presentation theorem for approximating logic programs
  Published by Association for Computing Machinery (ACM) ,1990
• Flow analysis and optimization of LISP-like structures
  Published by Association for Computing Machinery (ACM) ,1979
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977