The Orc Programming Language

Authors:
David Kitchin;Adrian Quark;William Cook;Jayadev Misra
Affiliations:
The University of Texas, Austin,;The University of Texas, Austin,;The University of Texas, Austin,;The University of Texas, Austin,
Venue:
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Year:
2009

Citing 8
Cited 21

Concurrent programming in ERLANG (2nd ed.)

Concurrent programming in ERLANG (2nd ed.)
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Pict: a programming language based on the Pi-Calculus

Proof, language, and interaction
Algorithm 64: Quicksort

Communications of the ACM
On the advantages of free choice: a symmetric and fully distributed solution to the dining philosophers problem

POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Concepts, Techniques, and Models of Computer Programming

Concepts, Techniques, and Models of Computer Programming
A language for task orchestration and its semantic properties

CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Workflow patterns in orc

COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages

Concurrent orchestration in Haskell

Proceedings of the third ACM Haskell symposium on Haskell
A denotational semantical model for Orc language

ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Programming coordinated behavior in java

ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
UPBOT: a testbed for cyber-physical systems

CSET'10 Proceedings of the 3rd international conference on Cyber security experimentation and test
Orchestrating nomadic mashups using workflows

Proceedings of the 3rd and 4th International Workshop on Web APIs and Services Mashups
A programming language approach for context-aware mashups

Proceedings of the 3rd and 4th International Workshop on Web APIs and Services Mashups
Puff, the magic protocol

Formal modeling
Verification of orchestration systems using compositional partial order reduction

ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Purely functional lazy nondeterministic programming

Journal of Functional Programming - Dedicated to ICFP 2009
A formal model for service-oriented interactions

Science of Computer Programming
NOW: a workflow language for orchestration in nomadic networks

COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
Graceful interruption of request-response service interactions

ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
An operational semantics of BPEL orchestrations integrating web services resource framework

WS-FM'11 Proceedings of the 8th international conference on Web Services and Formal Methods
Dynamic service composition and deployment with openrichservices

Software Service and Application Engineering
Orchestrating tuple-based languages

TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
Formal modelling and verification of service-oriented systems in probabilistic event-b

IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
NOW: Orchestrating services in a nomadic network using a dedicated workflow language

Science of Computer Programming
A graph-based design framework for services

ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Expand, enlarge, and check for branching vector addition systems

CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Composing domain-specific physical models with general-purpose software modules in embedded control software

Software and Systems Modeling (SoSyM)
Computational Aspects of Uncertainty Profiles and Angel-Daemon Games

Theory of Computing Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Orc was originally presented as a process calculus. It has now evolved into a full programming language, which we describe in this paper. The language has the structure and feel of a functional programming language, yet it handles many non-functional aspects effectively, including spawning of concurrent threads, time-outs and mutable state. We first describe the original concurrency combinators of the process calculus. Next we describe a small functional programming language that forms the core language. Then we show how the concurrency combinators of the process calculus and the functional core language are integrated seamlessly. The resulting language and its supporting libraries have proven very effective in describing typical concurrent computations; we demonstrate how several practical concurrent programming problems are easily solved in Orc.