Directional Type Inference for Logic Programs

This publication has 14 references indexed in Scilit:

• Negative set constraints with equality
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The Horn mu-calculus
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Directional types and the annotation method
  The Journal of Logic Programming, 1997
• Formal language, grammar and set-constraint-based program analysis by abstract interpretation
  Published by Association for Computing Machinery (ACM) ,1995
• Haskell overloading is DEXPTIME-complete
  Information Processing Letters, 1994
• Deriving polymorphic type dependencies for logic programs using multiple incarnations of Prop
  Published by Springer Nature ,1994
• Directional type checking of logic programs
  Published by Springer Nature ,1994
• Set constraints and set-based analysis
  Published by Springer Nature ,1994
• Deriving descriptions of possible values of program variables by means of abstract interpretation
  The Journal of Logic Programming, 1992
• Inductive definitions, semantics and abstract interpretations
  Published by Association for Computing Machinery (ACM) ,1992