Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures

DOI10.1007/978-1-84882-912-1_11zbMath1217.68070OpenAlexW1606675425MaRDI QIDQ3163407

David Kitchin, Adrian Quark, Jayadev Misra

Publication date: 26 October 2010

Published in: Reflections on the Work of C.A.R. Hoare (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-84882-912-1_11

zbMATH Keywords

recursionconcurrencymutability

Mathematics Subject Classification ID

Searching and sorting (68P10) Nonnumerical algorithms (68W05) Data structures (68P05)

Related Items (1)

Executable rewriting logic semantics of Orc and formal analysis of Orc programs

Uses Software

• Orc

This page was built for publication: Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures