db@lfcs.ed.ac.uk (Dave Berry) (02/01/90)
In article <14219@lambda.UUCP> jlg@lambda.UUCP (Jim Giles) writes: >The most precise and succinct way of giving accurate descriptions of >data transformations is to use denotational semantics. This may be nitpicking, but there are other semantic formalisms which are just as precise and succinct. Dave Berry, LFCS, Edinburgh Uni. db%lfcs.ed.ac.uk@nsfnet-relay.ac.uk "The thought of someone sharing one's own preferences without also sharing one's aversions strikes most people as utterly inconceivable." - C. A. Tripp.