Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!edcastle!lfcs!db
From: db@lfcs.ed.ac.uk (Dave Berry)
Newsgroups: comp.lang.misc
Subject: Semantics (was: NOT Educating FORTRAN programmers to use C)
Message-ID: <1938@castle.ed.ac.uk>
Date: 1 Feb 90 12:34:47 GMT
References: <PCG.90Jan29131938@rupert.cs.aber.ac.uk> <14219@lambda.UUCP>
Reply-To: db@lfcs.ed.ac.uk (Dave Berry)
Organization: Laboratory for the Foundations of Computer Science, Edinburgh U
Lines: 11

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.