Main page

Z Lem
Skocz do: nawigacji, wyszukiwania

Flag of Poland.svg.pngStrona_główna

These pages are about four research programs that are intertwined each other. Two of projects have quite a history:

Algorithmic Logic - also program calculus. Its aim is to study the laws of reasoning about programs,

Algorithmic Logic

♥ Loglan'82- it is an object programming language designed more than 30 years ago.

Loglan'82 project
have a look at a leaflet Loglan

♥ LEM - a project that is aimed at a new programming language and environment, The language LEM is to apply the results of Loglan'82 project and to adapt the achievements of object programming languages of younger generations such as Java, C++, C#, Python, etc.

LEM may turn out to be useful in the works of another larger project SpecVer


♥ SpecVer - the project .

SpecVer project is to bring an environment for software engineers and mathematicians.