Directional type checking of logic programs

This publication has 22 references indexed in Scilit:

• Solving systems of set constraints
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Solving systems of set constraints with negated subset relationships
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Set constraints are the monadic class
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Logic programs as types for logic programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Deriving polymorphic type dependencies for logic programs using multiple incarnations of Prop
  Published by Springer Nature ,1994
• Static type analysis of prolog procedures for ensuring correctness
  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
• Inductive assertion method for logic programs
  Theoretical Computer Science, 1988
• Denotational and operational semantics for prolog
  The Journal of Logic Programming, 1988