Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!bellcore!decvax!decwrl!glacier!kestrel!ladkin
From: ladkin@kestrel.ARPA (Peter Ladkin)
Newsgroups: net.cse
Subject: Re: More on Math and CS
Message-ID: <5668@kestrel.ARPA>
Date: Mon, 10-Mar-86 23:00:16 EST
Article-I.D.: kestrel.5668
Posted: Mon Mar 10 23:00:16 1986
Date-Received: Wed, 12-Mar-86 23:04:02 EST
References: <6350@cca.UUCP> <6420@cca.UUCP> <1074@terak.UUCP> <147@umcp-cs.UUCP>
Organization: Kestrel Institute, Palo Alto, CA
Lines: 21

In article <147@umcp-cs.UUCP>, mangoe@umcp-cs.UUCP (Charley Wingate) writes:
> [...]  People who aren't writing "scientific" programs, for
> instance, don't have a lot of use for [..] universal algebra.  

Goguen et al. and the term-rewriting people are
working on abstract data types. I don't know any application
of universal algebra in scientific computing.

> [...] it's not clear that ANYONE has any use for denotational
> semantics.  

The only full working compiler that has been actually
verified was specified using ................... guess!
(Polak, LNCS 124)

> only about a quarter of the list
> is of general interest to CS students.

Do you really believe this? 

Peter Ladkin