Lem:O Lem: Różnice pomiędzy wersjami
Z Lem
| Linia 12: | Linia 12: | ||
! projekt LEM !! Loglan'82 !! projekt SpecVer | ! projekt LEM !! Loglan'82 !! projekt SpecVer | ||
|- | |- | ||
| − | | Czego oczekujemy po projekcie LEM? Dzisiaj, żaden z języków programowania nie oferuje programistom narzędzi do zarzadzania obliczeniami równoległymi. Nie ma w żadnym języku narzędzi wspomagających zarządzanie procesorami. Zakłada się, że zajmą sie tym kompilator i system operayjny. Nie wiemy, czy tak to powinno zostać? Popróbujemy przenieść model zarządzania obliczeniami współbieżnymi i rozproszonymi znany z Loglanu'82 i rozszerzyć go w taki sposób, by w tym jednolitym modelu dało się zarządzać obliczeniami wsółpbieznymi, rozproszonymi i równoległymi. Warto tu zwrócić uwagę na dość wyraźne zróżnicowanie architektur | + | | Czego oczekujemy po projekcie LEM? Dzisiaj, żaden z języków programowania nie oferuje programistom narzędzi do zarzadzania obliczeniami równoległymi. Nie ma w żadnym języku narzędzi wspomagających zarządzanie procesorami. Zakłada się, że zajmą sie tym kompilator i system operayjny. Nie wiemy, czy tak to powinno zostać? Popróbujemy przenieść model zarządzania obliczeniami współbieżnymi i rozproszonymi znany z Loglanu'82 i rozszerzyć go w taki sposób, by w tym jednolitym modelu dało się zarządzać obliczeniami wsółpbieznymi, rozproszonymi i równoległymi. Warto tu zwrócić uwagę na dość wyraźne zróżnicowanie architektur zaprojektowanych dla obliczeń równoległych. Ponadto, pozostaje problem zarządzania obliczeniami w chmurze. |
| Język programowania obiektowego i rozproszonego Loglan'82 powstał ponad 30 lat temu. Wiele spośród cech definiujacych Loglan'82 pozostaje do dziś nieznanych szerszym kręgom programistów - i w związku z tym nie występuje w innych językach programowania. | | Język programowania obiektowego i rozproszonego Loglan'82 powstał ponad 30 lat temu. Wiele spośród cech definiujacych Loglan'82 pozostaje do dziś nieznanych szerszym kręgom programistów - i w związku z tym nie występuje w innych językach programowania. | ||
| Linia 18: | Linia 18: | ||
* w Loglanie moduły klasy istnieją w trzech ''smakach'' zwykła '''class''', współprogram '''coroutine''' oraz moduł wątku '''process'''. | * w Loglanie moduły klasy istnieją w trzech ''smakach'' zwykła '''class''', współprogram '''coroutine''' oraz moduł wątku '''process'''. | ||
... | ... | ||
| − | | Celem projektu SpecVer jest zbadanie czy można stworzyć środowisko w którym programiści, zespoły i firmy tworzyłyby projekty oprogramowania, moduły programów realizujące te projekty i dokumentację nadzoru audytorskiego zawierające weryfikację tez:''moduł M poprawnie implementuje specyfikację S''. | + | | Celem projektu SpecVer jest zbadanie czy można stworzyć środowisko w którym programiści, zespoły i firmy tworzyłyby projekty oprogramowania, moduły programów realizujące te projekty i dokumentację nadzoru audytorskiego zawierające weryfikację tez:''moduł M poprawnie implementuje specyfikację S''.[[Plik:softDiagram.jpg ]] |
|- | |- | ||
| [[projekt LEM| więcej o Lem ... ]] | | [[projekt LEM| więcej o Lem ... ]] | ||
Aktualna wersja na dzień 14:06, 2 lut 2013
LEM jest nazwą nowego projektu badawczego. Celem tego projektu jest zbadanie czy można stworzyć język programowania o pewnych określonych cechach (zob. specyfikacja LEM).
Język LEM ma oprzeć się na osiągnięciach projektu Loglan'82 i wykorzystać to co dobre w językach programowania obiektowego nowszych generacji: Java, C++, C#, etc.
LEM powinien wejść w skład innego większego projektu SpecVer.
| projekt LEM | Loglan'82 | projekt SpecVer |
|---|---|---|
| Czego oczekujemy po projekcie LEM? Dzisiaj, żaden z języków programowania nie oferuje programistom narzędzi do zarzadzania obliczeniami równoległymi. Nie ma w żadnym języku narzędzi wspomagających zarządzanie procesorami. Zakłada się, że zajmą sie tym kompilator i system operayjny. Nie wiemy, czy tak to powinno zostać? Popróbujemy przenieść model zarządzania obliczeniami współbieżnymi i rozproszonymi znany z Loglanu'82 i rozszerzyć go w taki sposób, by w tym jednolitym modelu dało się zarządzać obliczeniami wsółpbieznymi, rozproszonymi i równoległymi. Warto tu zwrócić uwagę na dość wyraźne zróżnicowanie architektur zaprojektowanych dla obliczeń równoległych. Ponadto, pozostaje problem zarządzania obliczeniami w chmurze. | Język programowania obiektowego i rozproszonego Loglan'82 powstał ponad 30 lat temu. Wiele spośród cech definiujacych Loglan'82 pozostaje do dziś nieznanych szerszym kręgom programistów - i w związku z tym nie występuje w innych językach programowania.
... |
Celem projektu SpecVer jest zbadanie czy można stworzyć środowisko w którym programiści, zespoły i firmy tworzyłyby projekty oprogramowania, moduły programów realizujące te projekty i dokumentację nadzoru audytorskiego zawierające weryfikację tez:moduł M poprawnie implementuje specyfikację S.
|
| więcej o Lem ... | więcej ... | więcej o SpecVer... |
