Componential set-based analysis

This publication has 12 references indexed in Scilit:

• Catching bugs in the web of program invariants
  Published by Association for Computing Machinery (ACM) ,1996
• Simple imperative polymorphism
  Higher-Order and Symbolic Computation, 1995
• Sound polymorphic type inference for objects
  Published by Association for Computing Machinery (ACM) ,1995
• Closure analysis in constraint form
  ACM Transactions on Programming Languages and Systems, 1995
• A type system equivalent to flow analysis
  Published by Association for Computing Machinery (ACM) ,1995
• Formal language, grammar and set-constraint-based program analysis by abstract interpretation
  Published by Association for Computing Machinery (ACM) ,1995
• A Syntactic Approach to Type Soundness
  Information and Computation, 1994
• Soft typing with conditional types
  Published by Association for Computing Machinery (ACM) ,1994
• Type inference for polymorphic references
  Information and Computation, 1990
• A flexible approach to interprocedural data flow analysis and programs with recursive data structures
  Published by Association for Computing Machinery (ACM) ,1982