Using Types as Approximations for Type Checking Prolog Programs

  • Authors:

  • Christoph Beierle;Gregor Meyer

  • Affiliations:

  • -;-

  • Venue:
  • FLOPS '99 Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming
  • Year:
  • 1999

  • Typed Datalog

    PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages

Quantified Score

Hi-index 0.00

Visualization

Abstract