Last update: Sat Jan 6 02:03:49 MST 2018
@Article{Clark:1980:ACT,
author = "K. L. Clark and J. Darlington",
title = "Algorithm classification through synthesis",
journal = j-COMP-J,
volume = "23",
number = "1",
pages = "61--65",
month = feb,
year = "1980",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/23.1.61",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
MRclass = "68C05 (68E05)",
MRnumber = "81g:68047",
bibdate = "Tue Dec 4 14:48:07 MST 2012",
bibsource = "http://comjnl.oxfordjournals.org/content/23/1.toc;
http://www.math.utah.edu/pub/tex/bib/compj1980.bib;
http://www3.oup.co.uk/computer_journal/hdb/Volume_23/Issue_01/;
Misc/Functional.bib",
URL = "http://comjnl.oxfordjournals.org/content/23/1/61.full.pdf+html;
http://www3.oup.co.uk/computer_journal/hdb/Volume_23/Issue_01/tiff/61.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_23/Issue_01/tiff/62.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_23/Issue_01/tiff/63.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_23/Issue_01/tiff/64.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_23/Issue_01/tiff/65.tif",
acknowledgement = ack-nhfb,
classcodes = "C6120 (File organisation)",
corpsource = "Dept. of Computing and Control, Imperial Coll. of Sci.
and Technol., London, UK",
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
keywords = "algorithm classification; functional sorting
transformation specification; insertion sort; merge
sort; quick sort; selection; sort; sorting; synthesis",
treatment = "P Practical",
}