Typed norms

This publication has 12 references indexed in Scilit:

• Proving termination properties of Prolog programs: a semantic approach
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Abstract interpretation for type checking
  Published by Springer Nature ,1991
• Proving termination of logic programs by exploiting term properties
  Published by Springer Nature ,1991
• Studies in Pure Prolog: Termination
  Published by Springer Nature ,1990
• Termination Proofs for Logic Programs
  Published by Springer Nature ,1990
• Static inference of modes and data dependencies in logic programs
  ACM Transactions on Programming Languages and Systems, 1989
• Verifying correctness of logic programs
  Published by Springer Nature ,1989
• Efficient tests for top-down termination of logical rules
  Journal of the ACM, 1988
• Foundations of Logic Programming
  Published by Springer Nature ,1987
• Proving termination of Prolog programs
  Published by Springer Nature ,1985