occam
Z Wikipedii
occam -- język programowania, opracowany w roku 1983 przez firmę INMOS, a będący praktyczną implementacją formalizmu CSP (z ang. Communicating Sequential Processes [1][1]). Język opracowany został i był przede wszystkim wykorzystywany jako narzędzie programowania transputerów. Nazwa pochodzi od nazwiska Williama Ockhama, kojarzonego z "brzytwą Ockhama".
occam jest językiem proceduralnym. Charakterystyczną jego cechą jest wsparcie dla programowania współbieżnego. Program w occamie uruchamia typowo wiele procesów, które mogą się między sobą komunikować za pośrednictwem nazwanych kanałów komunikacyjnych. Komunikacja za pośrednictwem kanałów jest synchroniczna -- komunikujące się procesy mogą kontynuować wykonanie dopiero, gdy wymiana danych zakończy się. Kanały zapewniają więc również synchronizację procesów.
W implementacji transputerowej język wyposażony jest w możliwość zdefiniowania rozmieszczenia procesów na sieci procesorów, z wykorzystaniem połączeń pomiędzy nimi jako kanałów komunikacyjnych.
occam jest językiem świadomie minimalistycznym i bardzo formalnie zdefiniowanym. Zabronione są wszelkie konstrukcje, które mogłyby prowadzić do niejednoznaczności działania programu (np. równoległe procesy nie mogą modyfikować żadnych wspólnych lokacji pamięci, do których mają dostęp). Umożliwia to formalne dowodzenie poprawności programów napisanych w tym języku.
Zobacz też: Erlang (język programowania)
- ↑ Communicating Sequential Processes, C.A.R. Hoare. Prentice Hall International Series in Computer Science, 1985. ISBN 0-13-153271-5 (0-13-153289-8)
ABAP • Ada • AWK • Asembler • C • C++ • C-- • C# • COBOL • Common Lisp • D • F# • Forth • Fortran • GAUSS • Icon • Java • JavaScript • Lisp • Lustre• Modula 2 • Ocaml • Oberon • Object Pascal • Objective-C • Pascal • Perl • PHP • PL/SQL • Python • REXX • Ruby • SAS 4GL • sh • Smalltalk • Snobol • SQL • Visual Basic • VB.NET • XUL
Akademickie: Comal • Eiffel • Haskell • Logo • MCPL • ML • Nemerle • Prolog • Scheme • Rey
Historyczne: ALGOL • APL • BASIC • Clipper • JAS • MUMPS • PLAN • PL/I • PL/M • SAKO • SAS (asembler) • Simula
Inne: Erlang • occam • QCL
Ezoteryczne: INTERCAL • Brainfuck • BeFunge • Unlambda • Malbolge • Whitespace • FALSE • HQ9+ • Shakespeare • Whirl • Ook
| Nowy argument za usunięciem mumii Lenina |
|
W mauzoleum na Placu Czerwonym w Moskwie znajduje się już nie więcej niż 10 proc. ciała Lenina - powiedział deputowany Dumy Państwowej Rosji Władimir Miedinski, co - jego zdaniem - jest jeszcze jednym argumentem za usunięciem mumii z mauzoleum.
|
| Wyświetlacze oszczędniejsze dzięki teleskopom |
|
Dzięki nowemu mechanizmowi, nad którym pracują naukowcy z University of Washington i Microsoft Research, monitory i telewizory będą pobierać mniej mocy, nie tracąc nic z obecnego poziomu kontrastu i jasności.
|
| "Księga gatunków obcych inwazyjnych w Polsce" |
|
Bernikla kanadyjska, wagisz japoński, spichrzel surinamski, wodożytka nowozelandzka, pomrowiec budapeszteński - w sumie 302 gatunków zwierząt, w tym przede wszystkim stawonogów, mięczaków i strunowców zawiera "Księga gatunków obcych inwazyjnych w faunie Polski", opublikowana na stronie internetowej Instytutu Ochrony Przyrody PAN w Krakowie. Prezentowane opracowanie jest pierwszą w Polsce próbą kompleksowego zbadania i scharakteryzowania zjawisk związanych z napływem na nasze tereny obcych...
|
| Unikalny cmentarz ugrofiński |
|
Archeolodzy odkryli w okolicach miasta Suzdal w Rosji unikalne miejsce pochówku członków plemienia Ugrofinów, pochodzące z początków I tysiąclecia n.e. - donosi serwis internetowy icRussia.
|
| Soczewki kontaktowe z elektronikÄ… |
|
Opracowano prototyp nowoczesnych soczewek kontaktowych, w których wnętrzu zatopiony jest układ elektroniczny oraz diody LED. Jest to przysłowiowy "kamień milowy" dla dziedziny nauki, która zajmuje się miniaturyzacją układów scalonych, donosi "LaserFocusWorld".
|