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