Hostname: page-component-848d4c4894-r5zm4 Total loading time: 0 Render date: 2024-07-04T01:15:12.049Z Has data issue: false hasContentIssue false

Parberry’s pairwise sorting network revealed

Published online by Cambridge University Press:  13 November 2018

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

Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Functional Pearl
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. 8297.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. 154172.Google Scholar
Hinze, R. (2000) Functional Pearl: Perfect trees and bit-reversal permutations. J. Funct. Program. 10(3), 305317.CrossRefGoogle Scholar
Hinze, R. & Martin, C. (2018) Functional Pearl: Batcher’s odd-even merging network revealed. J. Funct. Program. 28(e14), 113.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), 205211.CrossRefGoogle Scholar
Submit a response

Discussions

No Discussions have been published for this article.