Hermes (programovací jazyk) - Hermes (programming language) - Wikipedia

Hermes^[1]^[2]je jazyk pro distribuované programování^[3]který byl vyvinut v IBM je Výzkumné centrum Thomase J. Watsona od roku 1986 do roku 1992 s open-source kompilátorem a systémem run-time.^[4]Mezi hlavní funkce společnosti Hermes patří:^[5]

Jazyková podpora procesů a meziprocesová komunikace.
Čas kompilace ověření, že operace používají inicializovaná data.
Zastoupení nezávislé agregace dat zvané tabulky.
Nedostatek ukazatele.

Použilo se to analýza typestate zkontrolovat chyby přechodů proměnných, vyloučit některé sémanticky nesmyslné přechody z jednoho stavu do druhého (tj. počínaje hodnotou, některé sekvence operací s proměnnou jsou nesmyslné), z nichž zvláštním případem je čtení neinicializované proměnné. V této roli je kontrola kompilace inicializace dat podobná analýza definitivního přiřazení provádí Jáva, Cyklón a C#.

Hermes a jeho předchůdce, NIL (Network Implementation Language), byli nejčasnějšími programovacími jazyky podporujícími tuto formu kontroly inicializace.^[6]Typestate byl ve skutečnosti používán ve větší míře, ke generování operací mazání vložených do kompilátoru.

Reference

^ Strom, Robert E .; Bacon, David F.; Goldberg, Arthur P .; Lowry, Andy; Yellin, Daniel M .; Yemini, Shaula (1991). Hermes - jazyk pro distribuované výpočty. Englewood Cliffs, NJ, USA: Prentice-Hall. ISBN 978-0-13-389537-7.
^ Lowry, Andy (1992). „Hermesův jazyk v obrysové formě“. Oznámení ACM SIGPLAN. 27 (8): 51–70. doi:10.1145/142137.142148. ISSN 0362-1340.
^ Strom, R.E. (1990). "Hermes: integrovaný jazyk a systém pro distribuované programování". Workshop IEEE o experimentálních distribuovaných systémech. 75–82. doi:10.1109 / EDS.1990.138054.
^ Bacon, David F.; Lowry, Andy (1990). Přenosný běhový systém pro distribuovaný programovací jazyk Hermes. Letní technická konference USENIX. Anaheim, Kalifornie, USA: Usenix Association. 39–50.
^ Korfhage, Willard; Goldberg, Arthur P. (1995). „Hermesovy jazykové zážitky“ (PDF). Software: Praxe a zkušenosti. 25 (4): 389–402. CiteSeerX 10.1.1.13.9034. doi:10.1002 / spe. 4380250404. ISSN 0038-0644. Archivovány od originál (PDF) dne 2005-05-26. Citováno 2009-08-27.
^ Strom, Robert E. (1983). "Mechanismy pro vynucování bezpečnosti v době kompilace". Sborník z 10. sympozia ACM SIGACT-SIGPLAN o zásadách programovacích jazyků - POPL '83. 276–284. doi:10.1145/567067.567093. ISBN 978-0897910903.

Tento programovací jazyk související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.

[1] Strom, Robert E .; Bacon, David F.; Goldberg, Arthur P .; Lowry, Andy; Yellin, Daniel M .; Yemini, Shaula (1991). Hermes - jazyk pro distribuované výpočty. Englewood Cliffs, NJ, USA: Prentice-Hall. ISBN 978-0-13-389537-7.

[Lowry1992-2] Lowry, Andy (1992). „Hermesův jazyk v obrysové formě“. Oznámení ACM SIGPLAN. 27 (8): 51–70. doi:10.1145/142137.142148. ISSN 0362-1340.

[Strom1990-3] Strom, R.E. (1990). "Hermes: integrovaný jazyk a systém pro distribuované programování". Workshop IEEE o experimentálních distribuovaných systémech. 75–82. doi:10.1109 / EDS.1990.138054.

[Bacon90Portable-4] Bacon, David F.; Lowry, Andy (1990). Přenosný běhový systém pro distribuovaný programovací jazyk Hermes. Letní technická konference USENIX. Anaheim, Kalifornie, USA: Usenix Association. 39–50.

[KorfhageGoldberg1995-5] Korfhage, Willard; Goldberg, Arthur P. (1995). „Hermesovy jazykové zážitky“ (PDF). Software: Praxe a zkušenosti. 25 (4): 389–402. CiteSeerX 10.1.1.13.9034. doi:10.1002 / spe. 4380250404. ISSN 0038-0644. Archivovány od originál (PDF) dne 2005-05-26. Citováno 2009-08-27.

[Strom1983-6] Strom, Robert E. (1983). "Mechanismy pro vynucování bezpečnosti v době kompilace". Sborník z 10. sympozia ACM SIGACT-SIGPLAN o zásadách programovacích jazyků - POPL '83. 276–284. doi:10.1145/567067.567093. ISBN 978-0897910903.

[1]

[2]

[3]

[4]

[5]

[6]