My project Denotational Engineering has started in 2015 with writing the book described on the site The book. So far it is a “private” project, i.e. not assigned to any institution.
Mathematically the current project is a follower of an earlier project MetaSoft developed in the years 1971-1996 in the Institute of Computer Science of the Polish Academy of Sciences. A list of major contributions to that project has been listed on the site References to MetaSoft.
In my current project I concentrate on two fields:
The following mathematical techniques are used in this project:
I am currently working on the development of a denotational model, and of program-construction rules, for a virtual programming language Lingua.
On the applicative level, this language is offering Booleans, numbers, texts, lists, multilevel arrays, records and their arbitrary combinations. Besides that also SQL data — rows, tables and databases. All data are associated with types. The latter are regarded as independent entities, i.e. they are user-definable, structured and storable. The types of Lingua also provide a framework for SQL integrity constraints.
On the imperative level, Lingua offers typical structured-instructions (including SQL mechanisms) plus procedures with recursion and mutual recursion. Object programming has been only sketched. Concurrency has not been tackled so far.
Actually, I am seeking potential partners who would be willing to cooperate in the further development of the project, both on its theoretical level as well as on the implementation of Lingua and on the development of an appropriate environment for language designers and for programmers. See: What remains to be done and An invitation to the project.
The project is also documented on ResearchGate
Nazwa firmy: Andrzej Blikle Doradca
Nr telefonu: +48 607 456 918
e-adres: andrzej.blikle@moznainaczej.com.pl
NIP 525 12 84 084