• CiaoPP

  • Referenced in 41 articles [sw12089]
  • CiaoPP is the abstract interpretation-based preprocessor of the Ciao multi-paradigm program development environment ... CiaoPP can perform a number of program debugging, analysis, and source-to-source transformation tasks...
  • TCHR

  • Referenced in 4 articles [sw01345]
  • TCHR: a framework for tabled CLP. Tabled Constraint...
  • Ciao

  • Referenced in 47 articles [sw12088]
  • The Ciao System. Ciao is a general-purpose...
  • CAT

  • Referenced in 7 articles [sw13881]
  • CAT: The copying approach to tabling. The SLGWAM...