Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Orc

Known as: Orc (disambiguation), Orc programming language 
Orc is a concurrent, nondeterministic computer programming language created by Jayadev Misra at the University of Texas at Austin. Orc provides… Expand
Wikipedia

Related topics

Related topics

7 relations
Concurrent computingHaskellList of programming languagesList of programming languages by type
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2018
Review
2018
Recycling mine tailings in chemically bonded ceramics : a review
Abstract Mine tailings account for most of the environmental incidents related to the extractive industry, with risks increasing… Expand
2015
2015
VOLUMETRIC EXPANDER VERSUS TURBINE - WHICH IS THE BETTER CHOICE FOR SMALL ORC PLANTS?
Since the steam turbine replaced the steam reciproc ating engine by the end of 19 th century it has been the only expander type… Expand
  • figure 1
  • table 1
  • figure 2
  • table 2
  • figure 3
Highly Cited
2009
Highly Cited
2009
The Orc Programming Language
Orc was originally presented as a process calculus. It has now evolved into a full programming language, which we describe in… Expand
Highly Cited
2008
Highly Cited
2008
A timed semantics of Orc
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure… Expand
  • figure 3
Highly Cited
2006
Highly Cited
2006
SOCK : A calculus for service oriented computing
Service oriented computing is an emerging paradigm for designing distributed applications where service and composition are the… Expand
  • table 2
  • table 6
Highly Cited
2006
Highly Cited
2006
Workflow Patterns in Orc
Van der Aalst recently proposed a set of workflow patterns to characterize the kinds of control flow that appear frequently in… Expand
Highly Cited
2005
Highly Cited
2005
TVOC: A Translation Validator for Optimizing Compilers
We describe a tool called TVOC, that uses the translation validation approach to check the validity of compiler optimizations… Expand
  • figure 1.1
  • figure 1.2
  • figure 2.1
  • figure 2.3
  • figure 2.4
Highly Cited
2005
Highly Cited
2005
Precise Modelling of Compensating Business Transactions and its Application to BPEL
We describe the StAC language which can be used to specify the orchestra- tion of activities in long running business… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
2003
2003
Combining retiming and recycling to optimize the performance of synchronous circuits
Recycling was recently proposed as a system-level design technique to facilitate the building of complex system-on-chips (SOC) by… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Highly Cited
1994
Highly Cited
1994
Toward a Social Psychological Model of Strategy Use
In the past few years, the literature has shown substantial growth in the study of language learning strategies and their… Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE