Svock

Télécharger maintenant

Svock Classement & Résumé

Publicité

  • Rating:
  • Licence:
  • Apache
  • Prix:
  • FREE
  • Nom de l'éditeur:
  • Peter Niederwieser
  • Site Internet de l'éditeur:
  • http://pniederw.wordpress.com/
  • Systèmes d'exploitation:
  • Mac OS X
  • Taille du fichier:
  • 367 KB

Svock Mots clés


Svock La description

Utilitaire open source qui vous aidera à déboguer des programmes logiques SPOCK est un outil prototype pour déboguer des programmes de logique sous la sémantique de réponse. SPOCK fournit des méthodes de débogage pour des programmes propositionnels dans Smodels ou Syntaxe DLV. Les techniques mises en uvre reposent sur ASP-méta-programmation. Exigences: · Java


Svock Logiciels associés

Écho

Une plate-forme pour bâtir des applications Web qui approchent les capacités des clients riches ...

631 4.1 MB

Télécharger

À propos de nous