Last update: Sat Jan 6 02:03:49 MST 2018
@Article{Allison:1985:PDS, author = "Lloyd Allison", title = "Programming denotational semantics. {II}", journal = j-COMP-J, volume = "28", number = "5", pages = "480--486", month = nov, year = "1985", CODEN = "CMPJA6", DOI = "https://doi.org/10.1093/comjnl/28.5.480", ISSN = "0010-4620 (print), 1460-2067 (electronic)", ISSN-L = "0010-4620", bibdate = "Tue Dec 4 14:48:19 MST 2012", bibsource = "Compendex database; http://comjnl.oxfordjournals.org/content/28/5.toc; http://www.math.utah.edu/pub/tex/bib/compj1980.bib; http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_05/; Misc/Functional.bib", URL = "http://comjnl.oxfordjournals.org/content/28/5/480.full.pdf+html; http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_05/tiff/480.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_05/tiff/481.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_05/tiff/482.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_05/tiff/483.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_05/tiff/484.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_05/tiff/485.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_05/tiff/486.tif", acknowledgement = ack-nhfb, affiliation = "Univ of Western Australia, Dep of Computer Science, Nedlands, Aust", affiliationaddress = "Univ of Western Australia, Dep of Computer Science, Nedlands, Aust", classcodes = "C4240 (Programming and algorithm theory)", classification = "723", corpsource = "Dept. of Comput. Sci., Western Australia Univ., Nedlands, WA, Australia", fjournal = "The Computer Journal", journal-URL = "http://comjnl.oxfordjournals.org/", keywords = "Algol-68; computer programming languages; computer software; denotational semantics; denotational semantics, functional; formal languages; programming theory", treatment = "T Theoretical or Mathematical", }