×

Found 2 Documents (Results 1–2)

Quicksort: combining concurrency, recursion, and mutable data structures. (English) Zbl 1217.68070

Jones, Cliff B. (ed.) et al., Reflections on the work of C. A. R. Hoare. Most papers based on the presentations at the meeting to celebrate Tony Hoare’s 75th birthday, Cambridge, UK, April 2009. London: Springer (ISBN 978-1-84882-911-4/hbk; 978-1-84882-912-1/ebook). 229-254 (2010).
MSC:  68P10 68P05 68W05
PDFBibTeX XMLCite
Full Text: DOI

The Orc programming language. (English) Zbl 1217.68049

Lee, David (ed.) et al., Formal techniques for distributed systems. Joint 11th IFIP WG 6.1 international conference FMOODS 2009 and 29th IFIP WG 6.1 international conference FORTE 2009, Lisboa, Portugal, June 9–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02137-4/pbk). Lecture Notes in Computer Science 5522, 1-25 (2009).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Year of Publication

Main Field

all top 3

Software