Language K

The language K is a language of abstraction of the concepts of the Informatique, a language of formalization of the structures of data and a mathematical language of approach and theoretical of the Programmation.

Presentation

Language of teaching, it makes it possible to go beyond the distinctions of any type (computer programming language, declaration of the type, key words by its extremely poor syntax).

This language being with teaching vocation, there does not exist strict notation of language. Nevertheless, a standard was defined in the http://libe4.free.fr/langk/ address.

This language makes it possible to carry out only modifications on numbers, lists or tables, its interest is to see the trace of the written algorithms.

A program K divides by recursively defined functions. They consist of case, in other words conditions followed of one returned of result.

Example

To determine the maximum value of a table:

MAXIMUM initialization (T, I, N, max) = MAXIMUM (T, 2, |T|, T) Various cases I <= N ^ T > max => MAXIMUM (T, I, N, max) = MAXIMUM (T, I + 1, N, T) I <= N ^ T <= max => MAXIMUM (T, I, N, max) = MAXIMUM (T, I + 1, N, max) I > N => MAXIMUM (T, I, N, max) = max End

Interpreters

Several interpreters exist:

K Teach Algorithmics (Algorithmic of training by K.), developed by a team of control of data processing (taking again the Kinterpreter project)
EKzecuteur, a very primitive project

Random links: