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

Орк
Язык программирования орков logo.png
Парадигмаодновременный, недетерминированный
РазработаноДжаядев Мишра
РазработчикДжаядев Мишра, Уильям Р. Кук, Дэвид Китчин, Адриан Кварк, Джон Тивиссен, Артур Питерс и другие
Впервые появился2004
ЛицензияНовая лицензия BSD
Интернет сайторк.csres.utexas.edu
Под влиянием
Haskell, ML, Унция, Болтовня, Pict

Орк это одновременный, недетерминированный компьютер язык программирования сделано Джаядев Мишра на Техасский университет в Остине.

Orc обеспечивает единообразный доступ к вычислительным сервисам, включая распределенную связь и манипулирование данными, через сайты. Используя четыре простых примитива параллелизма, программист организует вызов сайтов для достижения цели, управляя тайм-аутами, приоритетами и ошибками.

внешняя ссылка

Библиография

  • Мисра, Джаядев (2005). «Вычислительная оркестровка». В Бруе Манфред; Грюнбауэр, Йоханнес; Харел, Дэвид; Хоар, Тони (ред.). Инженерные теории программно-интенсивных систем. Институт перспективных исследований НАТО по инженерным теориям программно-интенсивных систем. Научная серия НАТО. 195. Марктобердорф, Германия: Springer. С. 285–330. Дои:10.1007/1-4020-3532-2_10. ISBN  978-1-4020-3530-2.
  • Хоар, Тони; Мензель, Гален; Мисра, Джаядев (2005). «Древовидная семантика языка оркестровки». В Бруе Манфред; Грюнбауэр, Йоханнес; Харел, Дэвид; Хоар, Тони (ред.). Инженерные теории программно-интенсивных систем. Институт перспективных исследований НАТО по инженерным теориям программно-интенсивных систем. Научная серия НАТО. 195. Марктобердорф, Германия: Springer. С. 331–350. Дои:10.1007/1-4020-3532-2_11. ISBN  978-1-4020-3530-2.
  • Мисра, Джаядев (2004). Модель программирования для оркестровки веб-служб. Программная инженерия и формальные методы. Пекин, Китай: IEEE. С. 2–11. Дои:10.1109 / SEFM.2004.1347498. ISBN  0-7695-2222-X.
  • Китчин, Дэвид; Кук, Уильям Р.; Мисра, Джаядев (2006). Байер, Кристель; Германн, Хольгер (ред.). Язык оркестровки задач и его семантические свойства. Теория параллелизма. Конспект лекций по информатике. 4137. Бонн, Германия: Springer. С. 477–491. Дои:10.1007/11817949_32. ISBN  978-3-540-37376-6.
  • Мишра, Джаядев; Кук, Уильям Р. (март 2007 г.). «Вычислительная оркестровка: основа для глобальных вычислений». Программное обеспечение и моделирование систем. 6 (1): 83–110. Дои:10.1007 / s10270-006-0012-1. ISSN  1619-1366.
  • АльТурки, Мусаб; Месегер, Хосе (2007). Семантика переписывания орков в реальном времени. Принципы и практика декларативного программирования. Вроцлав, Польша: ACM. С. 131–142. Дои:10.1145/1273920.1273938. ISBN  978-1-59593-769-8. Получено 2015-04-14.
  • Росарио, Сидней; Китчин, Дэвид; Бенвенист, Альберт; Кук, Уильям; Хаар, Стефан; Джард, Клод (2007). Дюма, Марлон; Хекель, Рэйко (ред.). Семантика структуры событий орков. Веб-службы и формальные методы. Конспект лекций по информатике. 4937. Брисбен, Австралия: Спрингер. С. 154–168. Дои:10.1007/978-3-540-79230-7_11. ISBN  978-3-540-79229-1.
  • Верман, Ян; Китчин, Дэвид; Кук, Уильям Р.; Мисра, Джаядев (2006). «Временная семантика орков». Теоретическая информатика. 402 (2–3): 234–248. Дои:10.1016 / j.tcs.2008.04.037. ISSN  0304-3975.
  • Кук, Уильям; Мисра, Джаядев (2008). «Структурированные взаимодействующие вычисления». В Вирсинге, Мартин; Банатр, Жан-Пьер; Хёльцль, Матиас; Раушмайер, Аксель (ред.). Программно-интенсивные системы и новые вычислительные парадигмы: вызовы и перспективы. Конспект лекций по информатике. 5380. Springer. С. 139–145. Дои:10.1007/978-3-540-89437-7_9. ISBN  978-3-540-89436-0.