The PEI equational language gives the programmer the ability to define relations between variables called data fields, the whole set of equations being the program. One set operator and three functions allow to write programs in a data parallel way, and then transform the program through a refinement process until a semantically equivalent version is acceptable for execution on a parallel architecture.

The PEI theory has been initially designed by Dr E. Violard and Dr G.-R. Perrin and further work is carried out on the language by Dr S. Genaud, in the aera of programs conception and transformation.

PEI definition


The language is now the base for practical implementations : some prototypes of software tools have been implemented :