Spock Ranking & Zusammenfassung
- Name des Herausgebers:
- Peter Niederwieser
- Website des Verlags:
- http://pniederw.wordpress.com/
- Betriebssysteme:
- Mac OS X
Spock Stichworte
Spock Beschreibung
Open-Source-Dienstprogramm, das Ihnen dabei hilft, Logikprogramme zu debuggen Spock ist ein Prototyp-Tool zum Debuggen von Logikprogrammen unter der Antwortsemantik. Spock bietet Debugging-Methoden für Satzprogramme in SMODELs oder DLV-Syntax. Die implementierten Techniken verlassen sich auf Asp-Meta-Programmierung. Anforderungen: · Java
Spock Zugehörige Software