A strange sorting method inspired by formal differentiation

Micha Sharir*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

Abstract

Derivation of a new sorting technique by application of formal program transformation to high level specification of the sorting task is presented.

Original languageEnglish
Pages (from-to)293-298
Number of pages6
JournalComputers and Mathematics with Applications
Volume7
Issue number4
DOIs
StatePublished - 1981

Funding

FundersFunder number
Office of Naval ResearchNOOOW75-C-0571

    Fingerprint

    Dive into the research topics of 'A strange sorting method inspired by formal differentiation'. Together they form a unique fingerprint.

    Cite this