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?