Otwarte problemy

Z Lem
Skocz do: nawigacji, wyszukiwania

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?