Гермес (язык программирования) - Википедия - Hermes (programming language)
Гермес[1][2]это язык для распределенное программирование[3]который был разработан в IBM с Исследовательский центр Томаса Дж. Уотсона с 1986 по 1992 год, с компилятором с открытым исходным кодом и системой времени выполнения.[4]Основные характеристики Hermes:[5]
- Языковая поддержка процессов и межпроцессного взаимодействия.
- Время компиляции проверка того, что операции используют инициализированные данные.
- Агрегаты данных, не зависящие от представления, называемые таблицами.
- Отсутствие указатели.
Он использовал тип недвижимости для проверки ошибок переходов переменных, для исключения некоторых семантически бессмысленных переходов из одного состояния в другое (т. е. начиная со значения, некоторые последовательности операций с переменной бессмысленны), из которых чтение неинициализированной переменной является особым случаем. В этой роли проверки инициализации данных во время компиляции аналогична анализ определенного назначения в исполнении Ява, Циклон и C #.
Hermes и его предшественник, NIL (язык сетевой реализации), были первыми языками программирования, поддерживающими эту форму проверки инициализации.[6]На самом деле Typestate использовался более широко, чтобы генерировать вставленные компилятором операции «удаления».
использованная литература
- ^ Стром, Роберт Э .; Бэкон, Дэвид Ф; Голдберг, Артур П .; Лоури, Энди; Yellin, Daniel M .; Йемини, Шаула (1991). Hermes - язык для распределенных вычислений. Энглвуд Клиффс, Нью-Джерси, США: Прентис-Холл. ISBN 978-0-13-389537-7.
- ^ Лоури, Энди (1992). «Язык Гермеса в набросках». Уведомления ACM SIGPLAN. 27 (8): 51–70. Дои:10.1145/142137.142148. ISSN 0362-1340.
- ^ Стром, Р. (1990). «Гермес: интегрированный язык и система для распределенного программирования». Семинар IEEE по экспериментальным распределенным системам. С. 75–82. Дои:10.1109 / EDS.1990.138054.
- ^ Бэкон, Дэвид Ф.; Лоури, Энди (1990). Переносимая система времени выполнения для распределенного языка программирования Hermes. Летняя техническая конференция USENIX. Анахайм, Калифорния, США: Ассоциация Usenix. С. 39–50.
- ^ Корфхаге, Уиллард; Гольдберг, Артур П. (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.
- ^ Стром, Роберт Э. (1983). «Механизмы обеспечения безопасности на этапе компиляции». Материалы 10-го симпозиума ACM SIGACT-SIGPLAN по принципам языков программирования - POPL '83. С. 276–284. Дои:10.1145/567067.567093. ISBN 978-0897910903.
 | Эта язык программирования -связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |