Path: utzoo!utgpu!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!unmvax!ncar!ames!amdcad!sun!pitstop!sundc!seismo!uunet!mcvax!ukc!etive!lfcs!db
From: db@lfcs.ed.ac.uk (Dave Berry)
Newsgroups: comp.lang.misc
Subject: Re: Assembly or ....
Message-ID: <1135@etive.ed.ac.uk>
Date: 5 Dec 88 18:20:06 GMT
References: <1388@aucs.UUCP> <407@ubbpc.UUCP>
Sender: news@etive.ed.ac.uk
Reply-To: db@lfcs.ed.ac.uk (Dave Berry)
Organization: Laboratory for the Foundations of Computer Science, Edinburgh U
Lines: 13

In article <407@ubbpc.UUCP> wgh@ubbpc.UUCP (William G. Hutchison) writes:
>
> (2) how else can you diagnose compiler bugs? (unless you have a complete
>     denotational semantics description of the language)

There are many formalisms used to specify the semantics of programming
languages.  Denotational semantics is only one, although it's probably
the most widely used, especially in the USA.


Dave Berry,	Laboratory for Foundations of Computer Science, Edinburgh.
		db%lfcs.ed.ac.uk@nss.cs.ucl.ac.uk
		!mcvax!ukc!lfcs!db