Lem:O Lem - Historia wersji

AndrzejSalwicki o 13:06, 2 lut 2013

2013-02-02T13:06:21Z

AndrzejSalwicki o 10:52, 2 lut 2013

2013-02-02T10:52:25Z

AndrzejSalwicki o 10:51, 2 lut 2013

2013-02-02T10:51:59Z

AndrzejSalwicki o 10:49, 2 lut 2013

2013-02-02T10:49:51Z

AndrzejSalwicki o 09:43, 2 lut 2013

2013-02-02T09:43:42Z

AndrzejSalwicki o 09:08, 2 lut 2013

2013-02-02T09:08:58Z

AndrzejSalwicki: Utworzył nową stronę „LEM jest nazwą nowego projektu badawczego. Celem tego projektu jest zbadanie czy można stworzyć język programowania o pewnych określonych cechach (zob. [[specyf...”

2013-02-02T08:58:42Z

Utworzył nową stronę „LEM jest nazwą nowego projektu badawczego. Celem tego projektu jest zbadanie czy można stworzyć język programowania o pewnych określonych cechach (zob. [[specyf...”

Nowa strona

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 bobre w językach programowania obiektowego nowszych generacji: Java, C++, C#, etc.

LEM powinien wejść w skład innego większego projektu SpecVer.

@@ Linia 12: / Linia 12: @@
 ! 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 azprojektowanych dla obliczeń równoległych. Ponadto, pozostaje problem zarządzania obliczeniami w chmurze.
+| 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.
@@ Linia 18: / Linia 18: @@
 * 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 ... ]]

@@ Linia 20: / Linia 20: @@
 | 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''.
 |-
-| [[projekt LEM| więcej o Lem ...
+| [[projekt LEM| więcej o Lem ... ]]
 |  [[Loglan'82|więcej ...]]
 | [[SpecVer|więcej o SpecVer...]]
 |}

@@ Linia 20: / Linia 20: @@
 | 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''.
 |-
-| link do
+| [[projekt LEM| więcej o Lem ...
 |  [[Loglan'82|więcej ...]]
 | [[SpecVer|więcej o SpecVer...]]
 |}

@@ Linia 12: / Linia 12: @@
 ! projekt LEM !! Loglan'82 !! projekt SpecVer
 |-
-| tu napisać krótko
+| 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 azprojektowanych 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.
 *Ż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'''.
+* w Loglanie moduły klasy istnieją w trzech ''smakach'' zwykła '''class''', współprogram '''coroutine''' oraz moduł wątku '''process'''.
-| o specver
+...
 |-
 | link do
-| link do stron Loglan'82
+|  [[Loglan'82|więcej ...]]
-więcej ... [[Loglan'82]]
+| [[SpecVer|więcej o SpecVer...]]
-| link do stron SpevVer więcej [[SpecVer]]
 |}

@@ Linia 2: / Linia 2: @@
 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 bobre 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.
@@ Linia 13: / Linia 13: @@
 |-
 | tu napisać krótko
-| przedstawić krótko
+| 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.
 | o specver
 |-
 | link do
 | link do stron Loglan'82
- więcej ... [[Loglan'82]]
+więcej ... [[Loglan'82]]
 | link do stron SpevVer więcej [[SpecVer]]
 |}

← poprzednia wersja		Wersja z 09:08, 2 lut 2013
Linia 5:		Linia 5:

	LEM powinien wejść w skład innego większego projektu SpecVer.		LEM powinien wejść w skład innego większego projektu SpecVer.
		+
		+
		+	----
		+	{\| class="wikitable"
		+	\|-
		+	! projekt LEM !! Loglan'82 !! projekt SpecVer
		+	\|-
		+	\| tu napisać krótko
		+	\| przedstawić krótko
		+	\| o specver
		+	\|-
		+	\| link do
		+	\| link do stron Loglan'82
		+	więcej ... [[Loglan'82]]
		+	\| link do stron SpevVer więcej [[SpecVer]]
		+	\|}