Uniform ideals and strictness analysis

This publication has 7 references indexed in Scilit:

• A relationship between abstract interpretation and projection analysis
  Published by Association for Computing Machinery (ACM) ,1990
• Strictness analysis
  Published by Association for Computing Machinery (ACM) ,1989
• Projections for strictness analysis
  Published by Springer Nature ,1987
• Strictness analysis and polymorphic invariance
  Published by Springer Nature ,1986
• Programs as Data Objects
  Published by Springer Nature ,1986
• Higher-order strictness analysis in untyped lambda calculus
  Published by Association for Computing Machinery (ACM) ,1986
• An ideal model for recursive polymorphic types
  Published by Association for Computing Machinery (ACM) ,1984