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. It's based on a Kleene algebra model.
External links
Bibliography
- Misra, Jayadev. 2004. Computation orchestration: A basis for wide-area computing. In Engineering Theories of Software Intensive Systems (Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, 3-15 August 2004). Springer, 285-330. ISBN 978-1-4020-3530-2. DOI= http://dx.doi.org/10.1007/1-4020-3532-2_10
- Hoare, Tony; Menzel, Galen; and Misra, Jayadev. 2004. A tree semantics of an orchestration language. In Engineering Theories of Software Intensive Systems (Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, 3-15 August 2004). Springer, 331-350. ISBN 978-1-4020-3530-2. DOI= http://dx.doi.org/10.1007/1-4020-3532-2_11
- 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.; and Misra, Jayadev. 2006. A language for task orchestration and its semantic properties. Lecture Notes in Computer Science 4137. Springer, 477-491. ISBN 978-3-540-37376-6. DOI= http://dx.doi.org/10.1007/11817949_32
- Cook, William R.; and Misra, Jayadev. 2007. Computation orchestration: A basis for wide-area computing. Software and Systems Modeling 6, 1 (Mar 2007). Springer, 83-110. ISSN 1619-1366. DOI= http://dx.doi.org/10.1007/s10270-006-0012-1
- AlTurki, Musab; and Meseguer, José. 2007. Real-time rewriting semantics of Orc. In Proceedings of the 9th ACM SIGPLAN international Conference on Principles and Practice of Declarative Programming (Wroclaw, Poland, July 14 - 16, 2007). PPDP '07. ACM, New York, NY, 131-142. DOI= http://doi.acm.org/10.1145/1273920.1273938
- Rosario, Sidney; Kitchin, David; Benveniste, Albert; Cook, William; Haar, Stefan; and Jard, Claude. 2008. Event structure semantics of Orc. Lecture Notes in Computer Science 4937. Springer, 154-168. ISBN 978-3-540-79229-1. DOI= http://dx.doi.org/10.1007/978-3-540-79230-7_11
- Wehrman, Ian; Kitchin, David; Cook, William R.; and Misra, Jayadev. 2008. A timed semantics of Orc. Theoretical Computer Science 402, 2-3 (Jul. 2008), 234-248. DOI= http://dx.doi.org/10.1016/j.tcs.2008.04.037
- Cook, William R.; and Misra, Jayadev. 2008. Structured interacting computations: (A position paper). Lecture Notes in Computer Science 5380. Springer, 139-145. ISBN 978-3-540-89436-0. DOI= http://dx.doi.org/10.1007/978-3-540-89437-7_9