Orc (бағдарламалау тілі) - Википедия - Orc (programming language)

Орк
Orc бағдарламалау тілі logo.png
Парадигмақатарлас, түсініксіз
ЖобалағанДжаядев Мисра
ӘзірлеушіДжаядев Мисра, Уильям Р. Кук, Дэвид Китчин, Адриан Кварк, Джон Твиссен, Артур Питерс және т.б.
Бірінші пайда болды2004
ЛицензияЖаңа BSD лицензиясы
Веб-сайтorc.cresres.utexas.edu
Әсер еткен
Хаскелл, ML, Oz, Smalltalk, Сурет

Орк Бұл қатарлас, түсініксіз компьютер бағдарламалау тілі жасалған Джаядев Мисра кезінде Остиндегі Техас университеті.

Orc сайттар арқылы үлестірілген байланыс пен деректерді манипуляциялауды қоса есептейтін қызметтерге біркелкі қол жеткізуді қамтамасыз етеді. Бағдарламашы төрт қарапайым параллельді примитивтерді қолданып, мақсатқа жету үшін сайттардың шақырылуын ұйымдастырады, сонымен қатар уақытты, басымдықтарды және сәтсіздіктерді басқарады.

Сыртқы сілтемелер

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

  • Мисра, Джаядев (2005). «Есептеу оркестрі». Бройда, Манфред; Грюнбауэр, Йоханнес; Харел, Дэвид; Хоаре, Тони (ред.) Бағдарламалық қамтамасыз етудің қарқынды жүйелерінің инженерлік теориялары. Бағдарламалық қамтамасыз етудің қарқынды жүйелерінің инженерлік теориялары бойынша НАТО-ның жетілдірілген оқу институты. НАТО ғылыми сериясы. 195. Марктобердорф, Германия: Шпрингер. 285–330 бб. дои:10.1007/1-4020-3532-2_10. ISBN  978-1-4020-3530-2.
  • Хоаре, Тони; Мензель, Гален; Мисра, Джаядев (2005). «Оркестр тілінің ағаш семантикасы». Бройда, Манфред; Грюнбауэр, Йоханнес; Харел, Дэвид; Хоаре, Тони (ред.) Бағдарламалық қамтамасыз етудің қарқынды жүйелерінің инженерлік теориялары. Бағдарламалық қамтамасыз етудің қарқынды жүйелерінің инженерлік теориялары бойынша НАТО-ның жетілдірілген оқу институты. НАТО ғылыми сериясы. 195. Марктобердорф, Германия: Шпрингер. 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. Бонн, Германия: Шпрингер. 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). Orc нақты уақыттағы қайта жазу семантикасы. Декларативті бағдарламалаудың принциптері мен практикасы. Вроцлав, Польша: 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. Спрингер. 139-145 бб. дои:10.1007/978-3-540-89437-7_9. ISBN  978-3-540-89436-0.