Odd-even sort in powerlists

DOI10.1016/S0020-0190(96)00192-5zbMath0925.68119OpenAlexW2054184686MaRDI QIDQ1391957

Jacob Kornerup

Publication date: 23 July 1998

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0190(96)00192-5

zbMATH Keywords

parallel algorithmsfunctional programmingprogramming calculiprogram derivation

Mathematics Subject Classification ID

Searching and sorting (68P10) Theory of software (68N99)

Related Items (1)

A formalization of powerlist algebra in ACL2

Cites Work

• Unnamed Item
• Unnamed Item
• Mapping a functional notation for parallel programs onto hypercubes
• The automated proof of a trace transformation for a bitonic sort

This page was built for publication: Odd-even sort in powerlists