Orc (programming language)
It is proposed that this article be deleted because of the following concern:
If you can address this concern by improving, copyediting, sourcing, renaming, or merging the page, please edit this page and do so. You may remove this message if you improve the article or otherwise object to deletion for any reason. Although not required, you are encouraged to explain why you object to the deletion, either in your edit summary or on the talk page. If this template is removed, do not replace it. This message has remained in place for seven days, so the article may be deleted without further notice. Find sources: "Orc" programming language – news · newspapers · books · scholar · JSTOR Nominator: Please consider notifying the author/project: {{subst:proposed deletion notify|Orc (programming language)|concern=WP:SPIP This article is an example of self-promotion. The vast majority of all bibliography entries are works written by the creators and the substantive edits in the history appear to have been performed by students and researchers associated with the project. A single PPDP paper written by researchers not associated with the project doesn't seem to warrant an entire article.}} ~~~~Timestamp: 20100520182029 18:20, 20 May 2010 (UTC) Administrators: delete |
| 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 (Proceedings of 17th International Conference on Concurrency Theory, Bonn, Germany, 27–30 August 2006). CONCUR 2006. 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 (Proceedings of the 4th International Workshop on Web Services and Formal Methods, Brisbane, Australia, 28-29 Sep 2007). WS-FM 2007. 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