Introduction

 

Programming language : declaration/body distinction

In the classical programming languages ​​(PASCAL, C, PLI, FORTRAN, BASIC, etc.), we distinguish:
- Variable declaration
- Body.

Example : case of the use of a stack.

2 independent issues:
Implement stack (in-memory representation)
Express the solution using this stack.

 

 Main goal of KHAWARIZM   

Building abstract programs

KHAWARIZM : 2 versions ( Levels)