Гермес (язык программирования) - Википедия - Hermes (programming language)

Гермес[1][2]это язык для распределенное программирование[3]который был разработан в IBM с Исследовательский центр Томаса Дж. Уотсона с 1986 по 1992 год, с компилятором с открытым исходным кодом и системой времени выполнения.[4]Основные характеристики Hermes:[5]

Он использовал тип недвижимости для проверки ошибок переходов переменных, для исключения некоторых семантически бессмысленных переходов из одного состояния в другое (т. е. начиная со значения, некоторые последовательности операций с переменной бессмысленны), из которых чтение неинициализированной переменной является особым случаем. В этой роли проверки инициализации данных во время компиляции аналогична анализ определенного назначения в исполнении Ява, Циклон и C #.

Hermes и его предшественник, NIL (язык сетевой реализации), были первыми языками программирования, поддерживающими эту форму проверки инициализации.[6]На самом деле Typestate использовался более широко, чтобы генерировать вставленные компилятором операции «удаления».

использованная литература

  1. ^ Стром, Роберт Э .; Бэкон, Дэвид Ф; Голдберг, Артур П .; Лоури, Энди; Yellin, Daniel M .; Йемини, Шаула (1991). Hermes - язык для распределенных вычислений. Энглвуд Клиффс, Нью-Джерси, США: Прентис-Холл. ISBN  978-0-13-389537-7.
  2. ^ Лоури, Энди (1992). «Язык Гермеса в набросках». Уведомления ACM SIGPLAN. 27 (8): 51–70. Дои:10.1145/142137.142148. ISSN  0362-1340.
  3. ^ Стром, Р. (1990). «Гермес: интегрированный язык и система для распределенного программирования». Семинар IEEE по экспериментальным распределенным системам. С. 75–82. Дои:10.1109 / EDS.1990.138054.
  4. ^ Бэкон, Дэвид Ф.; Лоури, Энди (1990). Переносимая система времени выполнения для распределенного языка программирования Hermes. Летняя техническая конференция USENIX. Анахайм, Калифорния, США: Ассоциация Usenix. С. 39–50.
  5. ^ Корфхаге, Уиллард; Гольдберг, Артур П. (1995). "Языковой опыт Гермеса" (PDF). Программное обеспечение: практика и опыт. 25 (4): 389–402. CiteSeerX  10.1.1.13.9034. Дои:10.1002 / spe.4380250404. ISSN  0038-0644. Архивировано из оригинал (PDF) на 2005-05-26. Получено 2009-08-27.
  6. ^ Стром, Роберт Э. (1983). «Механизмы обеспечения безопасности на этапе компиляции». Материалы 10-го симпозиума ACM SIGACT-SIGPLAN по принципам языков программирования - POPL '83. С. 276–284. Дои:10.1145/567067.567093. ISBN  978-0897910903.