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 |
| Website | orc |
| Influenced by | |
| Haskell, ML, Oz, Smalltalk, Pict | |
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.). "Computation Orchestration". NATO Science Series. Springer Netherlands: 285–330. ISBN 978-1-4020-3530-2. Retrieved 2015-04-14.
{{cite journal}}: Cite journal requires|journal=(help) - Hoare, Tony; Menzel, Galen; Misra, Jayadev (2005). Broy, Manfred (ed.). "A Tree Semantics of an Orchestration Language". NATO Science Series. Springer Netherlands: 331–350. ISBN 978-1-4020-3530-2. Retrieved 2015-04-14.
{{cite journal}}: Cite journal requires|journal=(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.). "A Language for Task Orchestration and Its Semantic Properties". Lecture Notes in Computer Science. Springer Berlin Heidelberg: 477–491. ISBN 978-3-540-37376-6. Retrieved 2015-04-14.
{{cite journal}}: Cite journal requires|journal=(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.
{{cite journal}}: Check date values in:|date=(help) - AlTurki, Musab; Meseguer, José (2007). "Real-time Rewriting Semantics of Orc". PPDP '07. ACM: 131–142. doi:10.1145/1273920.1273938. ISBN 978-1-59593-769-8. Retrieved 2015-04-14.
{{cite journal}}: Cite journal requires|journal=(help) - Rosario, Sidney; Kitchin, David; Benveniste, Albert; Cook, William; Haar, Stefan; Jard, Claude (2008). Dumas, Marlon (ed.). "Event Structure Semantics of Orc". Lecture Notes in Computer Science. Springer Berlin Heidelberg: 154–168. ISBN 978-3-540-79229-1. Retrieved 2015-04-14.
{{cite journal}}: Cite journal requires|journal=(help) - "A timed semantics of Orc". linkinghub.elsevier.com. Retrieved 2015-04-14.
- Cook, William; Misra, Jayadev (2008). Wirsing, Martin (ed.). "Structured Interacting Computations". Lecture Notes in Computer Science. Springer Berlin Heidelberg: 139–145. ISBN 978-3-540-89436-0. Retrieved 2015-04-14.
{{cite journal}}: Cite journal requires|journal=(help)