Documentation |
KHAWARIZM offre toute la documentation
sur le langage Z.
KHAWARIZM fournit les équivalents
Z --> PASCAL ( niveau 1),
Z --> PASCAL et Z --> C ( niveau 2)
KHAWARIZM donne les implémentations
Il donne en particulier toutes les implémentations (statique et dynamique) en PASCAL et en C des différentes machines abstraites considérées dans le langage Z.