Path: utzoo!utgpu!watmath!clyde!ima!compilers-sender
From: steve@hubcap.clemson.edu (Steve Stevenson)
Newsgroups: comp.compilers
Subject: Re: Formal definitions of semantics
Message-ID: <4242@hubcap.UUCP>
Date: 30 Jan 89 13:32:19 GMT
References: <3240@ima.ima.isc.com>
Sender: compilers-sender@ima.ima.isc.com
Reply-To: steve@hubcap.clemson.edu (Steve Stevenson)
Lines: 15
Approved: compilers@ima.UUCP

> The second method is to describe a mapping from the language features
> into a generalized Von Neumann architecture.  

Not any longer.  In fact, that's probably been part of the problem all along.
We kept too close to the obvious pragmatic requirement of writing compilers.

Steve (really "D. E.") Stevenson           steve@hubcap.clemson.edu
                                           fpst@hubcap.clemson.edu
Department of Computer Science,            (803)656-5880.mabell
Clemson University, Clemson, SC 29634-1906
--
Send compilers articles to ima!compilers or, in a pinch, to Levine@YALE.EDU
Plausible paths are { decvax | harvard | yale | bbn}!ima
Please send responses to the originator of the message -- I cannot forward
mail accidentally sent back to compilers.  Meta-mail to ima!compilers-request