Orc (programming language)

From Wikipedia, the free encyclopedia
  (Redirected from Orc programming language)
Jump to: navigation, search
Orc
Paradigm(s) concurrent, nondeterministic
Designed by Jayadev Misra
Developer Jayadev Misra, William R. Cook, David Kitchin, Adrian Quark, and others
Appeared in 2004
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[edit]

Bibliography[edit]

  • 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