Typed norms for typed logic programs

This publication has 6 references indexed in Scilit:

• Inferring argument size relationships with CLP( $$\mathcal{R}$$ )
  Published by Springer Nature ,1997
• Type analysis of Prolog using type graphs
  Published by Association for Computing Machinery (ACM) ,1994
• Norms on terms and their use in proving universal termination of a logic program
  Theoretical Computer Science, 1994
• Deriving descriptions of possible values of program variables by means of abstract interpretation
  The Journal of Logic Programming, 1992
• Typed norms
  Published by Springer Nature ,1992
• Termination Proofs for Logic Programs
  Published by Springer Nature ,1990