Re: Assembly or ....

Article View: comp.lang.misc

Article #5988

#5988

From: Dave Berry
Date: Mon, 05 Dec 1988 18:20

13 lines
1072 bytes

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
		<Atlantic Ocean>!mcvax!ukc!lfcs!db

Technical Details

Message-ID: <1135@etive.ed.ac.uk>

Path:

arc1-ca.pugleaf.net!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

References: <1388@aucs.UUCP> <407@ubbpc.UUCP>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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

Reply to Parent Message