CRSX Classement & Résumé
- Nom de l'éditeur:
- Kristoffer H. Rose
- Systèmes d'exploitation:
- Windows All
- Taille du fichier:
- 2.4 MB
CRSX Mots clés
CRSX La description
Le CRSX, également appelé que les systèmes de réduction combinatoire avec des extensions vise à mettre en place un moteur de réécriture de commande supérieure générique basé sur le formalisme des systèmes de réduction combinatoire (CRS). Les objectifs spécifiques du projet CRSX sont les suivants: · Fournir un moteur de réécriture générique supérieure à l'ordre supérieur qui · Est facile à intégrer et à intégrer avec d'autres projets, en optimisant spécifiquement le compilateur, · Est simple à étendre avec des caractéristiques expérimentales, · Exécute sur la plate-forme Java 5+ disponible universellement disponible et · Peut générer des exécutables pour n'importe quelle plate-forme.
CRSX Logiciels associés