QEngine Issue Manager.
QEngine-Emissionsmanager ist ein hierarchisches Ausgabe-Tracking- und Bug-Tracking-System. ...
 | Tclp.TCLP ist ein Typ-Checker für Prolog-Dialekte. |
| Jetzt downloaden | |
Tclp. Ranking & Zusammenfassung
Anzeige
- Lizenz:
- LGPL
- Preis:
- FREE
- Name des Herausgebers:
- Emmanuel Coquery
- Website des Verlags:
- http://www710.univ-lyon1.fr/~ecoquery/tclp/
Tclp. Stichworte
Tclp. Beschreibung
TCLP ist ein Typ-Checker für Prolog-Dialekte. TCLP ist ein Verzeichnis-Typ-System für die CONSTRAINT-Logik-Programmierung, derzeit: ISO-PROGROGGNU-PROLSICSTUS PROGOG UND IHRE LIBRILLIESPRECHUNGEN-Programmierbibliotheken von SICSTUS PROLOGIPSED auf Tippen von Constraint-Logik-Programmen von FRANOIS-Fags und Emmanuel-Comery. Journal der Theorie und Praxis der logischen Programmierung TPLP 1 (6)., S. 751-777. November 2001. Erhältlich als PS.TCLP verwendet 3 Art von Polymorphismus: Parametrischer Polymorphismus (zB: List (A)) Subtypen (zB: Liste (A) Tclp. Zugehörige Software
Paranamer
Paranamer ist ein Mechamismus, der den Java-Programmierern ermöglicht, auf die Parameternamen der Methoden von Java-Klassen zuzugreifen. ...
