Orc (programming language)

Orc

Paradigm	concurrent, nondeterministic
Designed by	Jayadev Misra
Developer	Jayadev Misra, William R. Cook, David Kitchin, Adrian Quark, and others
First appeared	2004
License	New BSD License
Website	orc.csres.utexas.edu
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

• Orc main page

Bibliography

• Misra, Jayadev (2005). Broy, Manfred (ed.). "Engineering Theories of Software Intensive Systems". NATO Science Series. 195. Springer Netherlands: 285–330. doi:10.1007/1-4020-3532-2_10. ISBN 978-1-4020-3530-2. Retrieved 2015-04-14. {{cite journal}}: |chapter= ignored (help); Cite journal requires |journal= (help)
• Hoare, Tony; Menzel, Galen; Misra, Jayadev (2005). Broy, Manfred (ed.). "Engineering Theories of Software Intensive Systems". NATO Science Series. 195. Springer Netherlands: 331–350. doi:10.1007/1-4020-3532-2_11. ISBN 978-1-4020-3530-2. Retrieved 2015-04-14. {{cite journal}}: |chapter= ignored (help); 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.). "CONCUR 2006 – Concurrency Theory". Lecture Notes in Computer Science. 4137. Springer Berlin Heidelberg: 477–491. doi:10.1007/11817949_32. ISBN 978-3-540-37376-6. Retrieved 2015-04-14. {{cite journal}}: |chapter= ignored (help); 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.
• 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: 131–142. doi:10.1145/1273920.1273938. ISBN 978-1-59593-769-8. Retrieved 2015-04-14. {{cite journal}}: |chapter= ignored (help); Cite journal requires |journal= (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: 154–168. doi:10.1007/978-3-540-79230-7_11. ISBN 978-3-540-79229-1. Retrieved 2015-04-14. {{cite journal}}: |chapter= ignored (help); 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.). "Software-Intensive Systems and New Computing Paradigms". Lecture Notes in Computer Science. 5380. Springer Berlin Heidelberg: 139–145. doi:10.1007/978-3-540-89437-7_9. ISBN 978-3-540-89436-0. Retrieved 2015-04-14. {{cite journal}}: |chapter= ignored (help); Cite journal requires |journal= (help)