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.