| 释义 |
- External links
- Bibliography
{{Infobox programming language
| name = Orc
| logo = File:Orc_programming_language_logo.png
| paradigm = concurrent, nondeterministic
| year = 2004
| designer = Jayadev Misra
| developer = Jayadev Misra, William R. Cook, David Kitchin, Adrian Quark, and others
| influenced_by = Haskell, ML, Oz, Smalltalk, Pict
| license = New BSD License
| website = {{URL|https://orc.csres.utexas.edu/}}
}}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 linksBibliography- {{cite conference |title=Computation Orchestration |last=Misra |first=Jayadev |date=2005 |conference=NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems |editor-last1=Broy |editor-first1=Manfred |editor-last2=Grünbauer |editor-first2=Johannes |editor-last3=Harel |editor-first3=David |editor-last4=Hoare |editor-first4=Tony |book-title=Engineering Theories of Software Intensive Systems |publisher=Springer |location=Marktoberdorf, Germany |series=NATO Science Series |volume=195 |pages=285–330 |isbn=978-1-4020-3530-2 |doi=10.1007/1-4020-3532-2_10 }}
- {{cite conference |title=A Tree Semantics of an Orchestration Language |last1=Hoare |first1=Tony |last2=Menzel |first2=Galen |last3=Misra |first3=Jayadev |date=2005 |conference=NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems |editor-last1=Broy |editor-first1=Manfred |editor-last2=Grünbauer |editor-first2=Johannes |editor-last3=Harel |editor-first3=David |editor-last4=Hoare |editor-first4=Tony |book-title=Engineering Theories of Software Intensive Systems |publisher=Springer |location=Marktoberdorf, Germany |series=NATO Science Series |volume=195 |pages=331–350 |isbn=978-1-4020-3530-2 |doi=10.1007/1-4020-3532-2_11 }}
- {{cite conference |url=http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=1347498 |title=A Programming Model for the Orchestration of Web Services |last1=Misra |first1=Jayadev |date=2004 |conference=Software Engineering and Formal Methods |publisher=IEEE |location=Beijing, China |pages=2–11 |isbn=0-7695-2222-X |doi=10.1109/SEFM.2004.1347498 |access-date=2015-04-14 }}
- {{cite conference |title=A Language for Task Orchestration and Its Semantic Properties |last1=Kitchin |first1=David |last2=Cook |first2=William R. |last3=Misra |first3=Jayadev |date=2006 |conference=Concurrency Theory |editor-last1=Baier |editor-first1=Christel |editor-last2=Hermanns |editor-first2=Holger |publisher=Springer |location=Bonn, Germany |series=Lecture Notes in Computer Science |volume=4137 |pages=477–491 |isbn=978-3-540-37376-6 |doi=10.1007/11817949_32 }}
- {{cite journal |last1=Misra |first1=Jayadev |last2=Cook |first2=William R. |date=March 2007 |title=Computation Orchestration: A Basis for Wide-Area Computing |journal=Software & Systems Modeling |volume=6 |issue=1 |pages=83–110 |doi=10.1007/s10270-006-0012-1 |issn=1619-1366 }}
- {{cite conference |url=https://dl.acm.org/citation.cfm?doid=1273920.1273938 |title=Real-Time Rewriting Semantics of Orc |last1=AlTurki |first1=Musab |last2=Meseguer |first2=José |date=2007 |conference=Principles and Practice of Declarative Programming |publisher=ACM |location=Wroclaw, Poland |pages=131–142 |isbn=978-1-59593-769-8 |doi=10.1145/1273920.1273938 |access-date=2015-04-14 }}
- {{cite conference |title=Event Structure Semantics of Orc |last1=Rosario |first1=Sidney |last2=Kitchin |first2=David |last3=Benveniste |first3=Albert |last4=Cook |first4=William |last5=Haar |first5=Stefan |last6=Jard |first6=Claude |date=2007 |conference=Web Services and Formal Methods |editor-last1=Dumas |editor-first1=Marlon |editor-last2=Heckel |editor-first2=Reiko |publisher=Springer |location=Brisbane, Australia |series=Lecture Notes in Computer Science |volume=4937 |pages=154–168 |isbn=978-3-540-79229-1 |doi=10.1007/978-3-540-79230-7_11 }}
- {{cite journal |last1=Wehrman |first1=Ian |last2=Kitchin |first2=David |last3=Cook |first3=William R. |last4=Misra |first4=Jayadev |date=2006 |title=A Timed Semantics of Orc |journal=Theoretical Computer Science |volume=402 |issue=2–3 |pages=234–248 |doi=10.1016/j.tcs.2008.04.037 |issn=0304-3975 }}
- {{cite conference |title=Structured Interacting Computations |last1=Cook |first1=William |last2=Misra |first2=Jayadev |date=2008 |editor-last1=Wirsing |editor-first1=Martin |editor-last2=Banâtre |editor-first2=Jean-Pierre |editor-last3=Hölzl |editor-first3=Matthias |editor-last4=Rauschmayer |editor-first4=Axel |book-title=Software-Intensive Systems and New Computing Paradigms: Challenges and Visions |publisher=Springer |series=Lecture Notes in Computer Science |volume=5380 |pages=139–145 |isbn=978-3-540-89436-0 |doi=10.1007/978-3-540-89437-7_9 }}
1 : Concurrent programming languages |