A note on synthesis and classification of sorting algorithms

DOI10.1007/BF00263502zbMath0668.68071OpenAlexW2079022885MaRDI QIDQ1118415

S. H. Smith

Publication date: 1989

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00263502

zbMATH Keywords

classificationprogram synthesissorting algorithmssemi-automated logic programming

Mathematics Subject Classification ID

Searching and sorting (68P10)

Related Items (2)

Properties of linear approximations of matrices in the spectral norm ⋮ Synthesis of list algorithms by mechanical proving

This page was built for publication: A note on synthesis and classification of sorting algorithms