Orc (programovací jazyk) - Orc (programming language)

Orc
Logo Orc programovacího jazyka.png
Paradigma souběžné , nedeterministické
Navrhl Jayadev Misra
Vývojář Jayadev Misra , William R. Cook , David Kitchin, Adrian Quark, John Thywissen, Arthur Peters a další
Poprvé se objevil 2004
Licence Nová licence BSD
webová stránka orc .csres .utexas .edu
Ovlivněno
Haskell , ML , Oz , Smalltalk , obr

Ork je souběžná , nedeterministického počítačový programovací jazyk vytvořený Jayadev Misra na University of Texas v Austinu .

Orc poskytuje jednotný přístup k výpočetním službám, včetně distribuované komunikace a manipulace s daty, prostřednictvím webů. Pomocí čtyř jednoduchých primitiv souběžnosti programátor orchestruje vyvolání webů k dosažení cíle při správě časových limitů, priorit a selhání.

externí odkazy

Bibliografie

  • Misra, Jayadev (2005). "Výpočetní orchestrace". V Broy, Manfred; Grünbauer, Johannes; Harel, David; Hoare, Tony (eds.). Inženýrské teorie softwarově náročných systémů . NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems. Vědecká řada NATO. 195 . Marktoberdorf, Německo: Springer. str. 285–330. doi : 10,1007 / 1-4020-3532-2_10 . ISBN 978-1-4020-3530-2.
  • Hoare, Tony; Menzel, Galen; Misra, Jayadev (2005). "Stromová sémantika orchestračního jazyka". V Broy, Manfred; Grünbauer, Johannes; Harel, David; Hoare, Tony (eds.). Inženýrské teorie softwarově náročných systémů . NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems. Vědecká řada NATO. 195 . Marktoberdorf, Německo: Springer. 331–350. doi : 10,1007 / 1-4020-3532-2_11 . ISBN 978-1-4020-3530-2.
  • Misra, Jayadev (2004). Programovací model pro orchestraci webových služeb . Softwarové inženýrství a formální metody. Peking, Čína: IEEE. s. 2–11. doi : 10.1109 / SEFM.2004.1347498 . ISBN 0-7695-2222-X.
  • Kitchin, David; Cook, William R.; Misra, Jayadev (2006). Baier, Christel ; Hermanns, Holger (eds.). Jazyk pro orchestraci úloh a jeho sémantické vlastnosti . Teorie souběžnosti. Přednášky z informatiky. 4137 . Bonn, Německo: Springer. 477–491. doi : 10,1007 / 11817949_32 . ISBN 978-3-540-37376-6.
  • Misra, Jayadev; Cook, William R. (březen 2007). "Computation Orchestration: a Basis for Wide-Area Computing". Software a modelování systémů . 6 (1): 83–110. doi : 10,1007 / s10270-006-0012-1 . ISSN  1619-1366 .
  • AlTurki, Musab; Meseguer, José (2007). Sémantika přepisování v reálném čase orků . Zásady a praxe deklarativního programování. Wroclaw, Polsko: ACM. str. 131–142. doi : 10,1145 / 1273920,1273938 . ISBN 978-1-59593-769-8. Citováno 2015-04-14 .
  • Rosario, Sidney; Kitchin, David; Benveniste, Albert; Cook, William; Haar, Stefan; Jard, Claude (2007). Dumas, Marlon; Heckel, Reiko (eds.). Sémantika struktury události Orc . Webové služby a formální metody. Přednášky z informatiky. 4937 . Brisbane, Austrálie: Springer. str. 154–168. doi : 10.1007 / 978-3-540-79230-7_11 . ISBN 978-3-540-79229-1.
  • Wehrman, Ian; Kitchin, David; Cook, William R.; Misra, Jayadev (2006). „Časovaná sémantika orků“ . Teoretická informatika . 402 (2–3): 234–248. doi : 10.1016 / j.tcs.2008.04.037 . ISSN  0304-3975 .
  • Cook, William; Misra, Jayadev (2008). "Strukturované interakční výpočty". Ve Wirsing, Martin; Banâtre, Jean-Pierre; Hölzl, Matthias; Rauschmayer, Axel (eds.). Softwarově náročné systémy a nová výpočetní paradigmata: výzvy a vize . Přednášky z informatiky. 5380 . Springer. str. 139–145. doi : 10,1007 / 978-3-540-89437-7_9 . ISBN 978-3-540-89436-0.