Projection-based Termination Analysis

This publication has 6 references indexed in Scilit:

• Solving recursive domain equations by term rewriting
  Published by Springer Nature ,1994
• Higher-order binding-time analysis
  Published by Association for Computing Machinery (ACM) ,1993
• Projections for polymorphic first-order strictness analysis
  Mathematical Structures in Computer Science, 1992
• Strictness Analysis in 4D
  Published by Springer Nature ,1991
• Projection Factorisations in Partial Evaluation
  Published by Cambridge University Press (CUP) ,1991
• Projections for strictness analysis
  Published by Springer Nature ,1987