Można inaczej Andrzej Jacek Blikle





Narodziny gwiazdy

Rozmiar tekstu

A programmer's environment

In order to perform some experiments with Lingua-α (see The development of Lingua), and in particular with the associated method of developing correct programs, one has to build an appropriate software environment of future programmers. In my opinion, it should cover the following three modules:

  1. An interpreter or a compiler. To make such an implementation maximally independent of possible errors in the language used to build it (my choice would be Python), some basic core could be coded in such a language, and the remaining part may be written using this basic core. This could also be the first experiment in using our language.
  2. An editor of programs supporting the construction of correct programs with the use of earlier developed program construction rules.
  3. An adaptation of an existing theorem prover for proving metaconditions (the properties of conditions), which is necessary for the use of program-construction rules.