Hermes (dasturlash tili) - Hermes (programming language)

Germes^[1]^[2]uchun til tarqatilgan dasturlash^[3]da ishlab chiqilgan IBM "s Tomas J. Vatson tadqiqot markazi 1986 yildan 1992 yilgacha ochiq kodli kompilyator va ish vaqti tizimi bilan.^[4]Hermesning asosiy xususiyatlari quyidagilar:^[5]

Jarayonlarni til bilan ta'minlash va protsesslararo aloqa.
Tuzish vaqti operatsiyalar boshlangan ma'lumotlardan foydalanilishini tekshirish.
Vakillikdan mustaqil ma'lumotlar jadvallari deb nomlangan agregatlar.
Tanqisligi ko'rsatgichlar.

Bu ishlatilgan shrift tahlili o'zgaruvchilarning o'tish xatolarini tekshirish, bir holatdan ikkinchisiga mazmunli bo'lmagan ba'zi bir o'tishlarni istisno qilish (ya'ni qiymatdan boshlab, o'zgaruvchiga oid ba'zi operatsiyalar ketma-ketligi bema'ni), ulardan boshlanmagan o'zgaruvchini o'qish alohida holat. Ma'lumotlarni ishga tushirishni kompilyatsiya vaqtida tekshirishda ushbu rolga o'xshash aniq topshiriqni tahlil qilish tomonidan ijro etilgan Java, Siklon va C #.

Hermes va undan avvalgi NIL (Network Implementation Language) bu boshlang'ich tekshirishni qo'llab-quvvatlaydigan dastlabki dasturlash tillari edi.^[6]Typestate aslida kengroq ishlatilib, kompilyator tomonidan qo'shilgan "o'chirish" operatsiyalarini yaratish uchun ishlatilgan.

Adabiyotlar

^ Strom, Robert E.; Bekon, Devid F; Goldberg, Artur P.; Lori, Endi; Yellin, Daniel M.; Yemini, Shaula (1991). Hermes - tarqatilgan hisoblash uchun til. Englewood Cliffs, NJ, AQSh: Prentice-Hall. ISBN 978-0-13-389537-7.
^ Louri, Endi (1992). "Hermes tili anahat shaklida". ACM SIGPLAN xabarnomalari. 27 (8): 51–70. doi:10.1145/142137.142148. ISSN 0362-1340.
^ Strom, R.E. (1990). "Germes: tarqatilgan dasturlash uchun integral til va tizim". IEEE eksperimental taqsimlangan tizimlar bo'yicha seminar. 75-82 betlar. doi:10.1109 / EDS.1990.138054.
^ Bekon, Devid F.; Louri, Endi (1990). Hermes tarqatgan dasturlash tili uchun ko'chma ish vaqti tizimi. USENIX yozgi texnik konferentsiyasi. Anaxaym, Kaliforniya, AQSh: Usenix assotsiatsiyasi. 39-50 betlar.
^ Korfhage, Villard; Goldberg, Artur P. (1995). "Hermes til tajribalari" (PDF). Dasturiy ta'minot: Amaliyot va tajriba. 25 (4): 389–402. CiteSeerX 10.1.1.13.9034. doi:10.1002 / spe.4380250404. ISSN 0038-0644. Arxivlandi asl nusxasi (PDF) 2005-05-26. Olingan 2009-08-27.
^ Strom, Robert E. (1983). "Xavfsizlikni kompilyatsiya qilish vaqtini ta'minlash mexanizmlari". Dasturlash tillari asoslari bo'yicha 10-ACM SIGACT-SIGPLAN simpoziumi materiallari - POPL '83. 276-284-betlar. doi:10.1145/567067.567093. ISBN 978-0897910903.

Bu dasturlash tili bilan bog'liq maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish.

[1] Strom, Robert E.; Bekon, Devid F; Goldberg, Artur P.; Lori, Endi; Yellin, Daniel M.; Yemini, Shaula (1991). Hermes - tarqatilgan hisoblash uchun til. Englewood Cliffs, NJ, AQSh: Prentice-Hall. ISBN 978-0-13-389537-7.

[Lowry1992-2] Louri, Endi (1992). "Hermes tili anahat shaklida". ACM SIGPLAN xabarnomalari. 27 (8): 51–70. doi:10.1145/142137.142148. ISSN 0362-1340.

[Strom1990-3] Strom, R.E. (1990). "Germes: tarqatilgan dasturlash uchun integral til va tizim". IEEE eksperimental taqsimlangan tizimlar bo'yicha seminar. 75-82 betlar. doi:10.1109 / EDS.1990.138054.

[Bacon90Portable-4] Bekon, Devid F.; Louri, Endi (1990). Hermes tarqatgan dasturlash tili uchun ko'chma ish vaqti tizimi. USENIX yozgi texnik konferentsiyasi. Anaxaym, Kaliforniya, AQSh: Usenix assotsiatsiyasi. 39-50 betlar.

[KorfhageGoldberg1995-5] Korfhage, Villard; Goldberg, Artur P. (1995). "Hermes til tajribalari" (PDF). Dasturiy ta'minot: Amaliyot va tajriba. 25 (4): 389–402. CiteSeerX 10.1.1.13.9034. doi:10.1002 / spe.4380250404. ISSN 0038-0644. Arxivlandi asl nusxasi (PDF) 2005-05-26. Olingan 2009-08-27.

[Strom1983-6] Strom, Robert E. (1983). "Xavfsizlikni kompilyatsiya qilish vaqtini ta'minlash mexanizmlari". Dasturlash tillari asoslari bo'yicha 10-ACM SIGACT-SIGPLAN simpoziumi materiallari - POPL '83. 276-284-betlar. doi:10.1145/567067.567093. ISBN 978-0897910903.

[1]

[2]

[3]

[4]

[5]

[6]