Orc (programovací jazyk) - Orc (programming language) - Wikipedia
 | |
| 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 |
| Ovlivněno | |
| Haskell, ML, Oz, Pokec, Obr | |
Orc je souběžně, nedeterministické počítač programovací jazyk vytvořil 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). "Výpočetní orchestrace: základ pro výpočet velkého prostoru". 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.