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