Otwarte problemy: Różnice pomiędzy wersjami
Z Lem
(Utworzył nową stronę „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? ::* ...”) |
|||
| Linia 3: | Linia 3: | ||
::* 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? | ::* 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#? | * 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]] | [[Category: LEM]] | ||
Aktualna wersja na dzień 19:09, 5 lut 2013
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?
