|
|
| Linia 4: |
Linia 4: |
| | 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. | | 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. | + | LEM może okazać się przydatny w pracach innego większego projektu SpecVer. |
| | {|style="width:100%;" | | {|style="width:100%;" |
| | !LEM | | !LEM |
| Linia 10: |
Linia 10: |
| | !SpecVer | | !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. <DynamicPageList> | + | | <DynamicPageList> |
| | category = LEM | | category = LEM |
| | category = LEM | | category = LEM |
| | </DynamicPageList> | | </DynamicPageList> |
| − | |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. | + | |<DynamicPageList> |
| − | | + | |
| − | *Żaden inny język programowania nie oferuje bezpiecznego usuwania niepotrzebnych obiektów. W wielu językach np. C++, Pascal, ... można usunąć obiekt ryzykując że inne referencje do usuwanego obiektu ''zawisną''. W innych np. Java zabrania sie programiście usuwać obiekty zapewniając go, że polecenie ''gc()'' usunie śmieci.
| + | |
| − | * w Loglanie moduły klasy istnieją w trzech ''smakach'' zwykła '''class''', współprogram '''coroutine''' oraz moduł wątku '''process'''.<DynamicPageList>
| + | |
| | category = Loglan'82 | | category = Loglan'82 |
| | category = Loglan'82 | | category = Loglan'82 |
| | </DynamicPageList> | | </DynamicPageList> |
| − | |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 ]]<DynamicPageList> | + | |<DynamicPageList> |
| | category = SpecVer | | category = SpecVer |
| | category = SpecVer | | category = SpecVer |
| | </DynamicPageList> | | </DynamicPageList> |
| | |} | | |} |
Wersja z 18:51, 4 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 może okazać się przydatny w pracach innego większego projektu SpecVer.
