Orc (programming language)
| Paradigm | concurrent, nondeterministic | ||
|---|---|---|---|
| Designed by | Jayadev Misra | ||
| Developer | Jayadev Misra, William R. Cook, David Kitchin, Adrian Quark, and others | ||
| First appeared | 2004 | ||
| |||
Orc is a concurrent, nondeterministic computer programming language created by Jayadev Misra at the University of Texas at Austin.
Orc provides uniform access to computational services, including distributed communication and data manipulation, through sites. Using four simple concurrency primitives, the programmer orchestrates the invocation of sites to achieve a goal, while managing timeouts, priorities, and failures.
External links
Bibliography
- Misra, Jayadev (2005). Broy, Manfred, ed. "Engineering Theories of Software Intensive Systems". NATO Science Series 195. Springer Netherlands. pp. 285–330. doi:10.1007/1-4020-3532-2_10. ISBN 978-1-4020-3530-2. Retrieved 2015-04-14.
|chapter=ignored (help) - Hoare, Tony; Menzel, Galen; Misra, Jayadev (2005). Broy, Manfred, ed. "Engineering Theories of Software Intensive Systems". NATO Science Series 195. Springer Netherlands. pp. 331–350. doi:10.1007/1-4020-3532-2_11. ISBN 978-1-4020-3530-2. Retrieved 2015-04-14.
|chapter=ignored (help) - Misra, Jayadev. 2004. A programming model for the orchestration of Web services. In Proceedings of the Software Engineering and Formal Methods, Second international Conference (September 28–30, 2004). SEFM. IEEE Computer Society, Washington, DC, 2-11. DOI= http://dx.doi.org/10.1109/SEFM.2004.2
- Kitchin, David; Cook, William R.; Misra, Jayadev (2006). Baier, Christel, ed. "CONCUR 2006 – Concurrency Theory". Lecture Notes in Computer Science 4137. Springer Berlin Heidelberg. pp. 477–491. doi:10.1007/11817949_32. ISBN 978-3-540-37376-6. Retrieved 2015-04-14.
|chapter=ignored (help) - Misra, Jayadev; Cook, William R. (2006-05-17). "Computation Orchestration". Software & Systems Modeling 6 (1): 83–110. doi:10.1007/s10270-006-0012-1. ISSN 1619-1366. Retrieved 2015-04-14.
- AlTurki, Musab; Meseguer, José (2007). "Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '07". PPDP '07. ACM. pp. 131–142. doi:10.1145/1273920.1273938. ISBN 978-1-59593-769-8. Retrieved 2015-04-14.
|chapter=ignored (help) - Rosario, Sidney; Kitchin, David; Benveniste, Albert; Cook, William; Haar, Stefan; Jard, Claude (2008). Dumas, Marlon, ed. "Web Services and Formal Methods". Lecture Notes in Computer Science 4937. Springer Berlin Heidelberg. pp. 154–168. doi:10.1007/978-3-540-79230-7_11. ISBN 978-3-540-79229-1. Retrieved 2015-04-14.
|chapter=ignored (help) - "A timed semantics of Orc". Linkinghub.elsevier.com. Retrieved 2015-04-14.
- Cook, William; Misra, Jayadev (2008). Wirsing, Martin, ed. "Software-Intensive Systems and New Computing Paradigms". Lecture Notes in Computer Science 5380. Springer Berlin Heidelberg. pp. 139–145. doi:10.1007/978-3-540-89437-7_9. ISBN 978-3-540-89436-0. Retrieved 2015-04-14.
|chapter=ignored (help)