Flow logics for constraint based analysis

This publication has 21 references indexed in Scilit:

• Strictness logic and polymorphic invariance
  Published by Springer Nature ,2005
• Systematic realisation of control flow analyses for CML
  Published by Association for Computing Machinery (ACM) ,1997
• An even faster solver for general systems of equations
  Published by Springer Nature ,1996
• A unified treatment of flow analysis in higher-order languages
  Published by Association for Computing Machinery (ACM) ,1995
• Analyzing stores and references in a parallel symbolic language
  Published by Association for Computing Machinery (ACM) ,1994
• Polymorphic subtype inference: Closing the theory-practice gap
  Lecture Notes in Computer Science, 1989
• Strictness analysis
  Published by Association for Computing Machinery (ACM) ,1989
• On defining semantics by means of extended attribute grammars
  Lecture Notes in Computer Science, 1980
• The method of attributes for data flow analysis
  Acta Informatica, 1978
• The method of attributes for data flow analysis
  Acta Informatica, 1978