Tekst źródłowy strony Otwarte problemy

Oto problemy jakie warto zbadać:
* Czy można objąć modelem znanym z Loglanu dla obliczeń wspólbieżnych i rozproszonych również obliczenia równoległe?
::* w szczególności czy w nowym języku programista bedzie mogł zarządzać procesorami i rdzeniami swego komputera? w sposób podobny do tego jaki znamy z Loglanu? 
* Czy protokół obcego wołania metod można włączyć do języków Java, C++, C#?
* Aksjomatyczny opis semantyki języka LEM
::* Podać aksjomaty i reguły wnioskowania niezbędne w procesie analizy algorytmów.
{Instrukcje przypisania, instrukcje warunkowe i iteracyjne,...)
::* Skonstruować ciąg języków <math>\mathcal{L}_1 \subset \mathcal{L}_2 \subset \cdots\mathcal{L}_k = LEM  </math> i opisać ich semantykę oraz reguły wnioskowania 
* Jakie narzędzia powinno się zaoferować programiście do programowania w chmurze?
 


[[Category: LEM]]