Seminarium "Denotacyjna inżynieria języków programowania - zaproszenie do projektu"
Serdecznie zapraszamy na seminarium z udziałem Profesora Andrzeja Blikle pt. "Denotacyjna inżynieria języków programowania - zaproszenie do projektu".
Profesor w wystąpieniu przedstawi realizowany przez niego od lat 1980. projekt LINGUA. Przedmiotem projektu jest zbudowanie narzędzi, które pozwoliłyby podnieść niezawodność programów, nie przez ich efektywniejsze testowanie, ale przez uzyskiwanie matematycznej gwarancji ich funkcjonalnej poprawności. W projekcie są rozwijane równolegle dwa wątki:
1. metoda projektowania języków programowania równolegle z ich semantyką denotacyjną.
2. metoda konstruowania programów w sposób dający matematyczny dowód ich poprawności.
Aktualnie część teoretyczna projektu jest na tyle rozwinięta, że można zacząć myśleć o budowaniu dwóch ekosystemów:
1. dla projektantów języków,
2. dla programistów.
Profesor chciałby zaprosić do współpracy wszystkie zainteresowane osoby. Obecnie projekt jest rozwijany siłami społecznymi.
Więcej o projekcie można przeczytać na witrynie:
https://moznainaczej.com.pl/denotational-engineering/denotational-engineering-eng