Орк (язык программирования)

орк

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

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

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-Х .
• Китчин, Дэвид; Кук, Уильям Р.; Мисра, Джаядев (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 . S2CID   19295659 .
• АльТурки, Мусаб; Месегер, Хосе (2007). Переписывание семантики Orc в реальном времени . Принципы и практика декларативного программирования. Вроцлав, Польша: ACM. стр. 131–142. дои : 10.1145/1273920.1273938 . ISBN  978-1-59593-769-8 . Проверено 14 апреля 2015 г.
• Розарио, Сидней; Китчин, Дэвид; Бенвенист, Альберт; Кук, Уильям; Хаар, Стефан; Жард, Клод (2007). Дюма, Марлон; Хекель, Рэйко (ред.). Семантика структуры событий Orc . Веб-сервисы и формальные методы. Конспекты лекций по информатике. Том. 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. Спрингер. стр. 139–145. дои : 10.1007/978-3-540-89437-7_9 . ISBN  978-3-540-89436-0 .