Termination analysis for offline partial evaluation of a higher order functional language

This publication has 5 references indexed in Scilit:

• BTA Algorithms to ensure termination of off-line partial evaluation
  Published by Springer Nature ,1996
• A tour of Schism
  Published by Association for Computing Machinery (ACM) ,1993
• Binding-time analysis and the taming of C pointers
  Published by Association for Computing Machinery (ACM) ,1993
• Finiteness analysis
  Published by Springer Nature ,1991
• Partial evaluation of pattern matching in strings
  Information Processing Letters, 1989