Programming Techniques for Reversible Comparison Sorts
No abstract available.
Related papers
- Synthesis of Sorting Kernels CGO 2025
- Comparing Semantic Frameworks for Dependently-Sorted Algebraic Theories APLAS 2024
- Parallel Integer Sort: Theory and Practice PPoPP 2024
- Parsimonious Optimal Dynamic Partial Order Reduction CAV 2024
- Parberry's pairwise sorting network revealed JFP 2018
- Generic top-down discrimination for sorting and partitioning in linear time JFP 2012
- Batcher's odd-even merging network revealed JFP 2018
- Intramorphic Testing: A New Approach to the Test Oracle Problem Onward! 2022