Last update: Sat Jan 6 02:03:49 MST 2018
@Article{Lew:1984:PCD, author = "Art Lew", title = "Proof of Correctness of Decision Table Programs", journal = j-COMP-J, volume = "27", number = "3", pages = "230--232", month = aug, year = "1984", CODEN = "CMPJA6", DOI = "https://doi.org/10.1093/comjnl/27.3.230", ISSN = "0010-4620 (print), 1460-2067 (electronic)", ISSN-L = "0010-4620", MRclass = "68Q60 (03B70)", MRnumber = "85j:68075", bibdate = "Tue Dec 4 14:48:17 MST 2012", bibsource = "Compendex database; http://comjnl.oxfordjournals.org/content/27/3.toc; http://www.math.utah.edu/pub/tex/bib/compj1980.bib; http://www3.oup.co.uk/computer_journal/hdb/Volume_27/Issue_03/", URL = "http://comjnl.oxfordjournals.org/content/27/3/230.full.pdf+html; http://www3.oup.co.uk/computer_journal/hdb/Volume_27/Issue_03/tiff/230.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_27/Issue_03/tiff/231.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_27/Issue_03/tiff/232.tif", acknowledgement = ack-nhfb, classcodes = "C4240 (Programming and algorithm theory)", classification = "723", corpsource = "Computing Lab., Univ. of Oxford, Oxford, UK", fjournal = "The Computer Journal", journal-URL = "http://comjnl.oxfordjournals.org/", keywords = "bubble sort algorithm; computer; computer systems programming; correctiveness proof; correctness proof; decision table programs; programming theory; programs; theorem proving", treatment = "T Theoretical or Mathematical", }