TY - JOUR
T1 - A strange sorting method inspired by formal differentiation
AU - Sharir, Micha
N1 - Funding Information:
*This work has been partly supported by ONR Grant NOOOW75-C-0571. SAlso with the Courant Institute, New York.
PY - 1981
Y1 - 1981
N2 - Derivation of a new sorting technique by application of formal program transformation to high level specification of the sorting task is presented.
AB - Derivation of a new sorting technique by application of formal program transformation to high level specification of the sorting task is presented.
UR - https://www.scopus.com/pages/publications/0019675449
U2 - 10.1016/0898-1221(81)90058-4
DO - 10.1016/0898-1221(81)90058-4
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:0019675449
SN - 0898-1221
VL - 7
SP - 293
EP - 298
JO - Computers and Mathematics with Applications
JF - Computers and Mathematics with Applications
IS - 4
ER -