Hostname: page-component-77c89778f8-vsgnj Total loading time: 0 Render date: 2024-07-24T02:46:48.187Z Has data issue: false hasContentIssue false
  • English
  • Français

Parberry’s pairwise sorting network revealed

Part of: JFP Functional Pearls

Published online by Cambridge University Press:  13 November 2018

RALF HINZE Open the ORCID record for RALF HINZE [Opens in a new window]  and
CLARE MARTIN
RALF HINZE
Affiliation:
Fachbereich Informatik, Technische Universität Kaiserslautern, 67653 Kaiserslautern, Germany (e-mail: ralf-hinze@cs.uni-kl.de)
CLARE MARTIN
Affiliation:
Department of Computing and Communication Technologies, Oxford Brookes University, Wheatley, Oxford, OX33 1HX, England (e-mail: cemartin@brookes.ac.uk)
Rights & Permissions [Opens in a new window]

Abstract

An abstract is not available for this content so a preview has been provided. As you have access to this content, a full PDF is available via the ‘Save PDF’ action button.
Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Functional Pearl
Information
Journal of Functional Programming , Volume 28 , 2018 , e21
Copyright
© Cambridge University Press 2018 

References

Bove, A. & Coquand, T. (2006) Formalising bitonic sort in type theory. In Types for Proofs and Programs, Filliâtre, J.-C., Paulin-Mohring, C., and Werner, B. (eds), Lecture Notes in Computer Science, vol. 3839. Berlin, Heidelberg: Springer, pp. 82–97.CrossRefGoogle Scholar
Codish, M. & Zazon-Ivry, M. (2010) Pairwise cardinality networks. In Proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010. Berlin, Heidelberg: Springer-Verlag, pp. 154–172.Google Scholar
Hinze, R. (2000) Functional Pearl: Perfect trees and bit-reversal permutations. J. Funct. Program. 10(3), 305–317.CrossRefGoogle Scholar
Hinze, R. & Martin, C. (2018) Functional Pearl: Batcher’s odd-even merging network revealed. J. Funct. Program. 28(e14), 1–13.CrossRefGoogle Scholar
Knuth, D. E. (1998) The Art of Computer Programming, Volume 3: Sorting and Searching, 2nd edn. Reading, MA: Addison-Wesley Publishing Company.Google Scholar
Parberry, I. (1992) The pairwise sorting network. Parallel Process. Lett. 2(2&3), 205–211.CrossRefGoogle Scholar
Submit a response

Discussions

No Discussions have been published for this article.