Orc

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 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.


References in zbMATH (referenced in 14 articles , 1 standard article )

Showing results 1 to 14 of 14.
Sorted by year (citations)

  1. AlTurki, Musab A.; Meseguer, José: Executable rewriting logic semantics of Orc and formal analysis of Orc programs (2015)
  2. Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre-Malo; Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantovic, Jovanka; Pérez, Jorge A.; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres: Combining behavioural types with security analysis (2015)
  3. Dwornikowski, Dariusz; Stroiński, Andrzej; Brzeziński, Jerzy: Towards a process calculus for REST: current state of the art (2015)
  4. Gabarro, Joaquim; Garcia, Alina; Serna, Maria: Computational aspects of uncertainty profiles and angel-daemon games (2014)
  5. Michaux, Jonathan; Najm, Elie; Fantechi, Alessandro: Session types for safe web service orchestration (2013)
  6. Philips, E.; Van Der Straeten, R.; Jonckers, V.: NOW: orchestrating services in a nomadic network using a dedicated workflow language (2013)
  7. Stewart, Alan; Gabarro, Joaquim; Keenan, Anthony: Reasoning about orchestrations of web services using partial correctness (2013)
  8. Cugola, Gianpaolo; Ghezzi, Carlo; Pinto, Leandro Sales: DSOL: a declarative approach to self-adaptive service orchestrations (2012)
  9. Fiadeiro, José; Lopes, Antónia; Abreu, João: A formal model for service-oriented interactions (2012)
  10. Fiadeiro, José Luiz; Lopes, Antónia; Bocchi, Laura: An abstract model of service discovery and binding (2011)
  11. Meseguer, José; Roşu, Grigore: The rewriting logic semantics project: a progress report (2011)
  12. Kitchin, David; Quark, Adrian; Misra, Jayadev: Quicksort: combining concurrency, recursion, and mutable data structures (2010)
  13. Li, Qin; Zhu, Huibiao; He, Jifeng: A denotational semantical model for Orc language (2010)
  14. Kitchin, David; Quark, Adrian; Cook, William; Misra, Jayadev: The Orc programming language (2009)