Orc swMATH ID: 7311 Software Authors: Kitchin, David; Quark, Adrian; Cook, William; Misra, Jayadev Description: 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. Homepage: http://rd.springer.com/chapter/10.1007/978-3-642-02138-1_1 Related Software: COWS; Maude; Jolie; Quicksort; Dist-Orc; BPEL2oWFN; JavaFAN; Isar; PVM; PVS; Isabelle/Isar; Linda; SLMC; JSFlow; F*; Scribble; Jif; Flow Caml; SPARK; SynchAADL2Maude Cited in: 14 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year The Orc programming language. Zbl 1217.68049Kitchin, David; Quark, Adrian; Cook, William; Misra, Jayadev 2009 all top 5 Cited by 41 Authors 2 Gabarró, Joaquim 2 He, Jifeng 2 Kitchin, David 2 Li, Qin 2 Meseguer Guaita, José 2 Misra, Jayadev 2 Quark, Adrian 2 Zhu, Huibiao 1 Abreu Júnior, João Carlos 1 AlTurki, Musab A. 1 Bartoletti, Massimo 1 Brzeziński, Jerzy 1 Castellani, Ilaria 1 Cook, William R. 1 Cugola, Gianpaolo 1 Deniélou, Pierre-Malo 1 Dezani-Ciancaglini, Mariangiola 1 Dwornikowski, Dariusz 1 Fantechi, Alessandro 1 Fiadeiro, José Luiz 1 García, Alina 1 Ghezzi, Carlo 1 Ghilezan, Silvia 1 Jonckers, Viviane 1 Keenan, Anthony 1 Lopes, Antónia 1 Michaux, Jonathan 1 Najm, Elie 1 Pantović, Jovanka 1 Pérez, Jorge A. 1 Philips, E. 1 Pinto, Leandro Sales 1 Roşu, Grigore 1 Serna Iglesias, Maria José 1 Stewart, Alan 1 Stroiński, Andrzej 1 Thiemann, Peter J. 1 Toninho, Bernardo 1 Van der Straeten, Ragnhild 1 Vieira, Hugo Torres 1 Zhao, Yongxin all top 5 Cited in 8 Serials 2 Science of Computer Programming 2 Journal of Logical and Algebraic Methods in Programming 1 Computing 1 Formal Aspects of Computing 1 Foundations of Computing and Decision Sciences 1 Theory of Computing Systems 1 The Journal of Logic and Algebraic Programming 1 Frontiers of Computer Science Cited in 4 Fields 14 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year