S u m m a r y

 

1.    General presentation

2.    Steps to follow for the realization of a program under  K H A W A R I Z M

3.    Z Language  (Basic)

4.    Z  language ( Data structures )

5.    Abstract machines

6.    Translation from Z to PASCAL

7.    Implementation of Z machines in  PASCAL

8.    Translation from Z to C

9.    Implementation of Z machines to C

10.  Keyword index

 

 

 

1. General presentation  

Presentation
Menus
Traitments
Z Language
Documentation

 

2.    Steps to follow for the realization of a program under K H A W A R I Z M.  

      Familiarization with an arbitrary algorithmic language
Editing the algorithm
Syntax check
Running
Simulation
Trace
Translation to a programming language
PASCAL or C Programmation
Example of a Z algorithm
PASCAL Equivalent
C Equivalent
 

3.    Z language (Basic)  

 

Overview
Structure of a Z algorithm
Control structures
Simple actions
Scalars
Pointers
Expressions
Comments
High level operations
Standard functions
Fonctions de génération aléatoire
Functions on strings
Definition of an action
Definition of a function
Example of a Z algorithm

4.    Z language ( Data structures )

 

      Structures
Arrays
Linked lists
Bidrectional linked lists
Queues
Piles
Binary search trees
M-ary search trees
Files

5.    Abstract machines

 

      Abstract machines
Arrays
Structures
Linked listes
Bidirectional linked lists
Stacks
Queues
Binary serach trees
M-ary search trees
Files
                 

6.     Translation from Z to PASCAL 

 

Declarations
Expressions
Assignment
While loop
For loop
If statement
Reading 
Writing 
Action
Function  
Standard functions
Algorithm

    

7.    Implementation of Z machines in  PASCAL

 

Arrays
Structures
Linked lists
Bidirectional linked lists
Stacks 
Queues
Binary search trees
M-ary search trees
Files     
 

8.    Translation from Z to C   

 

Declarations
Expressions
Assignment
While loop
For loop
If statment
Reading
Writing
Action
Function  
Standard functions
Algorithm
 

9.    Implementation of Z machines to C

 

      Arrays
Structures
Linked lists
Bidrectional linked lists
Stacks
Queues
Binary search trees
M-aray search trees
Files       
 

10. Keyword index